kernel/include/config/K3_RTI_WATCHDOG