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