FIXME: deploy: EFI: Skip re-ordering boot via IPMI