how do you check? I can't watch that video its too boring
Hi coppercone,
If you have Debian Linux (Ubuntu, Kubuntu, Mint, Debian, etc...), run the following commands:
sudo modprobe msr
sudo hd -n 4 -s 0x1107 /dev/cpu/0/msr
Essentially, this is the two commands he ran in the video. About the options used in the "hd" command, according to its man page, the "-n" option defines the number of bytes returned, while "-s" is there to define the offset. The path is self explanatory, as it directs to the MSR (model specific register) of the CPU. I would need to see the databook of this CPU to see the meaning of the register returned.
According to what he says, you have to check the lowest bit of the first (lowest) byte in the sequence of four pairs of hexadecimal digits that appears after running "hd". Check the first line, next to the starting address. If the bit is "0", you should be fine. If the first is "1" (in other words, the value of that byte is not an even number, or more explicitly does not end in "0", "2", "4", "6", "8", "A", "C", "E"), you have the bit enabled.
P.S.: I was wrong. I was interpreting the "0000110b" as being the symptom, but that is just the end address. The man page of "hd" sure supplies plenty of information. Duh!
Kind regards, Samuel Lourenço