[PATCH] Convert CONFIG_WATCHDOG et al to Kconfig