[U-Boot] [UBOOT PATCH 2/2] microblaze: wdt: Added Kconfig support for CONFIG_XILINX_TB_WATCHDOG