x86, intel: Output microcode revision in /proc/cpuinfo