Further split PAE and non-PAE functions in intel.c