arch/x86/include/asm/efi.h: fix build failure