Comment 14 for bug 1444682

(BTW: if reporting microcode revision in hexadecimal, it should be prefixed with 0x for clarity).