K 10
svn:author
V 3
sef
K 8
svn:date
V 27
1997-12-03T02:45:50.000000Z
K 7
svn:log
V 369
Work around for the Intel Pentium F00F bug; this is Intel's recommended
workaround.  Note that this currently eats up two pages extra in the system;
this could be alleviated by aligning idt correctly, and then only dealing with
that (as opposed to the current method of allocated two pages and copying the
IDT table to that, and then setting that to be the IDT table).

END