> Does the absence of a "microcode updated" message in dmesg imply that the > microcode was not updated?
Not necessarily. > Is there a way to turn on debugging? The easiest way to check whether the microcode update was applied correctly would be to check the microcode version in /proc/cpuinfo