[PATCH 4.14 016/126] x86/microcode: Make sure boot_cpu_data.microcode is up-to-date