Have our trusty kernel hackers implemented Intel's fix for the "Foof!" bug? Apparently, it involves moving the IDT so that it spans a page boundary just so, then adding a bit of code to the page fault handler. The fix is at http://support.intel.com/support/processors/pentium/ppiie/index.htm on the Web.