Support for the watchdog in the WM8350 AudioPlus PMIC.  When
          the watchdog triggers the system will be reset.
 
+config XILINX_WATCHDOG
+       tristate "Xilinx Watchdog timer"
+       select WATCHDOG_CORE
+       help
+         Watchdog driver for the xps_timebase_wdt ip core.
+
+         To compile this driver as a module, choose M here: the
+         module will be called of_xilinx_wdt.
+
 # ALPHA Architecture
 
 # ARM Architecture
 
 # MicroBlaze Architecture
 
-config XILINX_WATCHDOG
-       tristate "Xilinx Watchdog timer"
-       depends on MICROBLAZE
-       select WATCHDOG_CORE
-       ---help---
-         Watchdog driver for the xps_timebase_wdt ip core.
-
-         IMPORTANT: The xps_timebase_wdt parent must have the property
-         "clock-frequency" at device tree.
-
-         To compile this driver as a module, choose M here: the
-         module will be called of_xilinx_wdt.
-
 # MIPS Architecture
 
 config ATH79_WDT