AARCH64 UEFI and EL3