Update RT kernel configs for the new EFI_CUSTOM_SSDT_OVERLAYS