# CONFIG_RTC_SYSTOHC is not set