# CONFIG_PCWATCHDOG is not set
