[PATCH 4.18 037/158] x86/microcode: Make sure boot_cpu_data.microcode is up-to-date