kernel/redhat/configs/common/generic/CONFIG_EFI_CUSTOM_SSDT_OVERLAYS