# CONFIG_ADVANTECH_WDT is not set