Re: [RFC PATCH] arm: EFI: Disallow EFI bootmgr when providing PSCI