printk(KERN_WARNING "%s: warning: cannot get watchdog clock\n", __func__);
 
        /* put initial values into count and data */
-       __raw_writel(0x100, S3C2410_WTCNT);
-       __raw_writel(0x100, S3C2410_WTDAT);
+       __raw_writel(0x80, S3C2410_WTCNT);
+       __raw_writel(0x80, S3C2410_WTDAT);
 
        /* set the watchdog to go and reset... */
        __raw_writel(S3C2410_WTCON_ENABLE|S3C2410_WTCON_DIV16|S3C2410_WTCON_RSTEN |
                     S3C2410_WTCON_PRESCALE(0x20), S3C2410_WTCON);
 
        /* wait for reset to assert... */
-       mdelay(5000);
+       mdelay(500);
 
        printk(KERN_ERR "Watchdog reset failed to assert reset\n");
 
+       /* delay to allow the serial port to show the message */
+       mdelay(50);
+
        /* we'll take a jump through zero as a poor second */
        cpu_reset(0);
 }