Re: [PATCH] efi_loader: Disable devices before handing over control