Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision 803f581583fee8bca1931696b1aa2a9586bf85c5)
+++ boot/arch/arm32/src/asm.S	(revision 1a2a6e7fe539dc0c3c10afeaf20a054d6132d99a)
@@ -102,5 +102,5 @@
 	isb
 	nop
-#elif PROCESSOR_ARCH_armv6
+#elif defined(PROCESSOR_ARCH_armv6)
 	# cp15 isb
 	mcr p15, 0, r4, c7, c5, 4