EFI_BOOT_SERVICES_DATA 76 boot/arch/arm64/src/main.c case EFI_BOOT_SERVICES_DATA: EFI_BOOT_SERVICES_DATA 105 boot/arch/ia64/src/main.c case EFI_BOOT_SERVICES_DATA: