# CONFIG_PC87413_WDT is not set