Bug Report

CWSDPMI tests wrong feature bit when turning on PSE bit in CR4

Summary:

On CPUs which support TSCs but not 4Mb pages (currently this is only
known to happen in BOCHS emulator) CWSDPMI will set the PSE bit in 
CR4, even though it is not supported.  This can generate many warnings
in the emulator, but might cause a crash in a real CPU if one exists.

Analysis:

CWSDPMI is testing the wrong bit, it should choose bit 3 in MSWITCH,
not bit 4 (0x10) in the comparison.  4Mb pages are not used in this 
release.

Workarounds:

Use the 2008 r5 refresh, or r6 test release.