x86, microcode: Limit the microcode reloading to 64-bit for now