Index: kernel/arch/arm32/include/cycle.h
===================================================================
--- kernel/arch/arm32/include/cycle.h	(revision 9eec7bcb65dcf1c1869d0610481cd8d043de3452)
+++ kernel/arch/arm32/include/cycle.h	(revision 9043e7e036777c3fb0a0a0d7482f60a5dd29e2ae)
@@ -56,5 +56,5 @@
 	   return ((uint64_t)high << 32) | low;
 	} else {
-		return PMCCNTR_read();
+		return (uint64_t)PMCCNTR_read() * 64;
 	}
 #endif
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 9eec7bcb65dcf1c1869d0610481cd8d043de3452)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 9043e7e036777c3fb0a0a0d7482f60a5dd29e2ae)
@@ -170,5 +170,5 @@
 
 #ifdef PROCESSOR_ARCH_armv7_a
-	PMCR_write(PMCR_read() | PMCR_E_FLAG);
+	PMCR_write(PMCR_read() | PMCR_E_FLAG | PMCR_D_FLAG);
 	PMCNTENSET_write(PMCNTENSET_CYCLE_COUNTER_EN_FLAG);
 #endif