EFI_BOOT_SERVICES_CODE 75 boot/arch/arm64/src/main.c case EFI_BOOT_SERVICES_CODE: EFI_BOOT_SERVICES_CODE 104 boot/arch/ia64/src/main.c case EFI_BOOT_SERVICES_CODE: