> This may sound dumb but could it be that because you have put the
> printf's in that your kernel is taking longer to boot and getting

Sorry for being unclear, yes that is my believe as well.  
Question is what do I need to do to reset the watchdog?  It obviously
needs to be done in a few more places for MP kernels.

Thanks
--sjg