# CONFIG_RTC_DRV_M41T80_WDT is not set
