# CONFIG_RTC_DRV_AB3100 is not set