--- a/arch/mips/kernel/time.c
+++ b/arch/mips/kernel/time.c
@@ -75,6 +75,7 @@ EXPORT_SYMBOL(perf_irq);
  */
 
 unsigned int mips_hpt_frequency;
+EXPORT_SYMBOL(mips_hpt_frequency);
 
 void __init clocksource_set_clock(struct clocksource *cs, unsigned int clock)
 {
--- a/drivers/watchdog/Kconfig
+++ b/drivers/watchdog/Kconfig
@@ -639,6 +639,18 @@ config AR7_WDT
 	help
 	  Hardware driver for the TI AR7 Watchdog Timer.
 
+config RC32434_WDT
+	tristate "IDT Interprise 79RC32434 SoC hardware watchdog"
+	depends on WATCHDOG && MIKROTIK_RB500
+	help
+	  This is a driver for hardware watchdog integrated in IDT Interprise
+	  79RC32434 SoC. This watchdog simply watches your kernel to make sure
+	  it doesn't freeze, and if it does, it reboots your computer after a
+	  certain amount of time.
+	  
+	  To compile this driver as a module, choose M here: the module will be
+	  called rc32434_wdt.
+
 # PARISC Architecture
 
 # POWERPC Architecture
