kernel/include/config/RTC_DRV_TI_K3