re: SMP status ?

> http://www.netbsd.org/~mrg/ipi_savefpstate.diff

oops, i forgot to reply to myself last night and say that
this patch is obviously wrong.

i'm working on a "fixed" one (it's still only a workaround.)