> 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.)