# CONFIG_RTC_DEBUG is not set