Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 7699c21997a8c1ecedb909c7b97ea3e03ec0de53)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision e965decd7db24e719c0d152660a29cffca98c753)
@@ -28,5 +28,5 @@
 #
 
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR))
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR_ARCH))
 
 ifeq ($(CONFIG_FPU),y)
Index: uspace/lib/c/arch/arm32/include/cp15.h
===================================================================
--- uspace/lib/c/arch/arm32/include/cp15.h	(revision e965decd7db24e719c0d152660a29cffca98c753)
+++ uspace/lib/c/arch/arm32/include/cp15.h	(revision e965decd7db24e719c0d152660a29cffca98c753)
@@ -0,0 +1,1 @@
+../../../../../../kernel/arch/arm32/include/cp15.h