# CONFIG_SBC7240_WDT is not set