x86: Correct microcode documentation