sudo rdmsr --decimal '0x1FC'
sudo '/home/espionage724/Downloads/rdmsr' --decimal --all '0x1FC'
Number given: 2359389
sudo '/home/espionage724/Downloads/wrmsr' --all '0x1FC' '2359388'
2359388 should be whatever the number given in rdmsr minus 1