CPU cycle counter for ARM11 chips