I'd check the CVS logs but the cvs machine is down right now and might 
be for a while.

cpu_reset() has the following code in it. Why is it #ifdef'ed out? I
note that FreeBSD seems to have the equivalent code in place...

#if 0
	/*
	 * Try to cause a triple fault and watchdog reset by unmapping the
	 * entire address space and doing a TLB flush.
	 */
	memset((caddr_t)PTD, 0, NBPG);
	pmap_update(); 
#endif