Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 029e3ccb036744485e317fa89603ce023fc7f6b3)
+++ boot/arch/arm32/src/mm.c	(revision 4a46cccfa50529ea8857ffbda2728c7670814e13)
@@ -152,6 +152,5 @@
 		 * see arch/arm32/src/cpu/cpu.c for reasoning */
 		"ldr r1, =0x00000805\n"
-#else
-#ifdef MACHINE_gta02
+#elif defined(MACHINE_gta02)
 		/* Mask to enable paging (bit 0),
 		   D-cache (bit 2), I-cache (bit 12) */
@@ -160,5 +159,4 @@
 		/* Mask to enable paging and branch prediction */
 		"ldr r1, =0x00000801\n"
-#endif
 #endif
 		"orr r0, r0, r1\n"