# CONFIG_MEDIATEK_WATCHDOG is not set
