x86, fixmap: add CONFIG_EFI