I have (after some minor hacking) compiled the patches in.  The only real
changes were making it include machine/pmap.h rather than pmap.new.h, and
changing kthread_create() to kthread_create1() and kthread_create_deferred()
to kthread_create().

I get this on boot up:

mainbus0 (root)
Warning: Configuration Table checksum error
itlmps0 at mainbus0: Intel SMP specification (Rev. 1.1)
  found at 0xf5b30 in BIOS[16]
  Board OEMId [OEM00000] ProdId [PROD0000]
cpu0 at itlmps0: (bootprocessor) running
cpu0: family 6 model 6 step 5
cpu0: Intel Pentium II (Celeron) (686-class)
cpu1 at itlmps0: ({}) not running
apic0 at itlmps0 at 0xfec00000
apic0: io-apic id 2, vers 11

This machine is an ABIT BP2 dual celeron board, with two 433 Mhz CPUs
installed.

Any ideas?

--Michael