# CONFIG_RTC_DRV_DS17885 is not set