Comment # 4 on bug 912208 from Borislav Petkov

Is this with the kernel I just sent you on the other bugzilla?

Can you run the below script as root please and upload the results?

Thanks.

---
#!/bin/bash

echo "/proc/cpuinfo: "
grep microcode /proc/cpuinfo

echo; echo "dmesg: "
dmesg | grep -i microcode
modprobe msr 2>/dev/null

echo ; echo "MSRs: (0x8b) "
rdmsr --all 0x8b
--