arm-efi: Fix compilation