Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 7a38962632e530967be4d27ffab7f9f38716b7f6)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 0435fe4157cc54af9fc49c0c8375e2aff9f90ca9)
@@ -175,6 +175,9 @@
 
 #ifdef PROCESSOR_ARCH_armv7_a
-	PMCR_write(PMCR_read() | PMCR_E_FLAG | PMCR_D_FLAG);
-	PMCNTENSET_write(PMCNTENSET_CYCLE_COUNTER_EN_FLAG);
+	if ((ID_PFR1_read() & ID_PFR1_GEN_TIMER_EXT_MASK) !=
+	    ID_PFR1_GEN_TIMER_EXT) {
+		PMCR_write(PMCR_read() | PMCR_E_FLAG | PMCR_D_FLAG);
+		PMCNTENSET_write(PMCNTENSET_CYCLE_COUNTER_EN_FLAG);
+	}
 #endif
 }