# CONFIG_PCIPCWATCHDOG is not set