kernel/include/config/RTC_SYSTOHC_DEVICE