# CONFIG_SBC8360_WDT is not set