# CONFIG_SMSC37B787_WDT is not set