CONFIG_EFI_MIXED=y