CONFIG_EFI_MIXED