Changeset 10866:da8b24145579

---------------------------

x86: Adjust the size of the values written to the x87 misc registers
All x87 misc registers are implemented in an array of 64 bit values

but in real hardware the size of some of these registers is smaller.

Previsouly all 64 bits where incorrectly set and then later read.  To

ensure correctness we mask the value in setMiscRegNoEffect to write

only the valid bits.