Fix compilation for x86_64-efi.