x86: little clean up of intel.c/intel_64.c