# CONFIG_RTC_DRV_FTRTC010 is not set