In Software Developer's Manual MSR 0x3A bits 7:3 are specified as reserved.
In BWG for Core 2 Duo Mobile CPUs those bits are also specified as reserved.
However, I have seen BIOS code which is writing to bit 3 in that MSR as a part of VT configuration.
So the question is simple -- what is the function of bit 3 in MSR 0x3A?
I am asking because if I am to replicate the configuration sequence I need to know whether I should write that bit as well.