--- linux-2.6.22-rc2/arch/arm/mach-s3c2443/s3c2443.c	2007-04-26 04:08:32.000000000 +0100
+++ linux-2.6.22-rc2-hsmmc/arch/arm/mach-s3c2443/s3c2443.c	2007-05-20 17:49:06.000000000 +0100
@@ -63,6 +63,10 @@ int __init s3c2443_init(void)
 
 	s3c_device_nand.name = "s3c2412-nand";
 
+	/* change WDT IRQ number */
+	s3c_device_wdt.resource[1].start = IRQ_S3C2443_WDT;
+	s3c_device_wdt.resource[1].end   = IRQ_S3C2443_WDT;
+
 	return sysdev_register(&s3c2443_sysdev);
 }