# CONFIG_EFI_FAKE_MEMMAP is not set