perf_counter for RPi

Performance counter module for the ARM 11 on the RPi.