[PATCH] arch/x86: Fix boot_cpu_data.microcode version output