# CONFIG_EFI_LOADER is not set