x86: let intel 64-bit use intel.c