# CONFIG_RTC_DRV_TI_K3 is not set
