[Bug 967617] GPF in vmx_get_segment_register+0x14e/0x450