/include/config/EFI_MIXED