Instead of storing the current Processor into a core local register, we currently just store it into a global, since we don't support SMP for aarch64 anyway. This simplifies the initial implementation.
