Moving all ARM64 work here.
More ARM64 work.
These should be 64-bit, not 32.
Kernel exports for ARM64 kext compilation/linking.
Fix one annoying bug that's been pestering me for a while.