enable (U)EFI-related options in kernel config