Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 74fec95157755e9eb38e0effb7f2c4cdabcfd4cb)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision 96e01fbc11ddb623f6753a5b3bfea1ff0345260e)
@@ -28,5 +28,5 @@
 #
 
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=$(subst _,-,$(PROCESSOR))
 
 ENDIANESS = LE