Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision c3213bb3f6a5677419c2d8e2c51be09891ee3ee2)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 4b28c709536aac5f2730fb19ac4f4032e8edaf11)
@@ -225,6 +225,7 @@
 unsigned dcache_levels(void)
 {
+	unsigned levels = 0;
+#ifdef PROCESSOR_ARCH_armv7_a
 	const uint32_t val = CLIDR_read();
-	unsigned levels = 0;
 	for (unsigned i = 1; i <= 7; ++i) {
 		const unsigned ctype = CLIDR_CACHE(i, val);
@@ -238,4 +239,5 @@
 		}
 	}
+#endif
 	return levels;
 }