[PATCH 3.16 178/328] x86/microcode: Make sure boot_cpu_data.microcode is up-to-date