Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision c127e1ccb10c2c7b86a2fce5e27f2378ecb9a6a9)
+++ kernel/arch/arm32/Makefile.inc	(revision 49a736e2c42817abe3098179ad216dafecd091e7)
@@ -33,5 +33,5 @@
 ATSIGN = %
 
-GCC_CFLAGS += -march=armv4
+GCC_CFLAGS += -march=$(subst _,-,$(PROCESSOR))
 
 BITS = 32
Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision c127e1ccb10c2c7b86a2fce5e27f2378ecb9a6a9)
+++ kernel/arch/arm32/include/asm.h	(revision 49a736e2c42817abe3098179ad216dafecd091e7)
@@ -49,5 +49,5 @@
 NO_TRACE static inline void cpu_sleep(void)
 {
-#ifdef PROCESSOR_armv7
+#ifdef PROCESSOR_armv7_a
 	asm volatile ( "wfe" :: );
 #endif
Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision c127e1ccb10c2c7b86a2fce5e27f2378ecb9a6a9)
+++ kernel/arch/arm32/include/mm/page.h	(revision 49a736e2c42817abe3098179ad216dafecd091e7)
@@ -55,5 +55,5 @@
 #endif
 
-#if defined(PROCESSOR_armv7)
+#if defined(PROCESSOR_armv7_a)
 #include "page_armv7.h"
 #elif defined(PROCESSOR_armv4) | defined(PROCESSOR_armv5)
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision c127e1ccb10c2c7b86a2fce5e27f2378ecb9a6a9)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 49a736e2c42817abe3098179ad216dafecd091e7)
@@ -100,5 +100,5 @@
 void cpu_arch_init(void)
 {
-#if defined(PROCESSOR_armv7)
+#if defined(PROCESSOR_armv7_a)
 	uint32_t control_reg = 0;
 	asm volatile (
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision c127e1ccb10c2c7b86a2fce5e27f2378ecb9a6a9)
+++ kernel/arch/arm32/src/exception.c	(revision 49a736e2c42817abe3098179ad216dafecd091e7)
@@ -122,5 +122,5 @@
 	uint32_t control_reg = 0;
 	
-#if defined(PROCESSOR_armv7)
+#if defined(PROCESSOR_armv7_a)
 	asm volatile (
 		"mrc p15, 0, %[control_reg], c1, c0"
@@ -137,5 +137,5 @@
 	control_reg |= CP15_R1_HIGH_VECTORS_BIT;
 	
-#if defined(PROCESSOR_armv7)
+#if defined(PROCESSOR_armv7_a)
 	asm volatile (
 		"mcr p15, 0, %[control_reg], c1, c0"