#undef CONFIG_EFI