I have doubts that Apple is planning to switch to ARM from Intel if for no other reason that ARM is not 64bit and from what I recall it's not in the roadmap. This works fine for small devices but obviously won't work for anything larger. I doubt a PAE-style kernel is a legitimate option.