# CONFIG_K3_RTI_WATCHDOG is not set
