x86: make intel.c have 64-bit support code