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