# CONFIG_RTC_DRV_ISL12057 is not set