How can we measure the CPU utilization of programs running on ARM processors, particularly the A15 series ? Are there some hardware counters that can be read ?