# CONFIG_CPU5_WDT is not set