This patch adds support for ARM64 for our low level CPU cycle timers.
Note that this does not work for ARM32.

Based on patch contributed by Alexey Kopytov.