# CONFIG_NI903X_WDT is not set