efbcb2c
microcode_ctl is x86_64 only (cherry picked from commit 357bfe429d6e24f0f899337db5c3b25c0303255b)