a86d1f4891
in the non-MULTIPROCESSOR case (LOCKDEBUG requires it). Scheduler lock is held upon entry to mi_switch() and cpu_switch(), and cpu_switch() releases the lock before returning. Largely from Bill Sommerfeld, with some minor bug fixes and machine-dependent code hacking from me.