in a multiprocessor simulation. Imagine that! Without the patch, there is just one FPU for all the processors, which is clearly wrong. See bug [ 461762 ] multiple processors but only one FPU