I've update the i386 SMP patches to -current (1.4H) today.
It still can't start up CPU's, if the BIOS didn't prime them.
I'm going to add this code real soon.

The diffs are in a comment to PR port-i386/6928.
What needs to be done to get this into the tree?
My time currently is very limited.

Stefan