Some initial work on the ARM64 port.