# CONFIG_ARMADA_37XX_WATCHDOG is not set