# CONFIG_ARM_SBSA_WATCHDOG is not set
