x86: microcode: cosmetic changes