Index: kernel/arch/arm32/include/cycle.h
===================================================================
--- kernel/arch/arm32/include/cycle.h	(revision 3fa509b7d6b019645af8ba968895d2b30ec8eab9)
+++ kernel/arch/arm32/include/cycle.h	(revision df64dbcec09ca6420de2c8c0944a17482cc56d6b)
@@ -56,5 +56,5 @@
 	   return ((uint64_t)high << 32) | low;
 	} else {
-		return PMCCNTR_read();
+		return (uint64_t)PMCCNTR_read() * 64;
 	}
 #endif