# CONFIG_RTC_DRV_DS1672 is not set
