# CONFIG_EFI_CUSTOM_SSDT_OVERLAYS is not set