Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 97c76825acca82d15cb8daa0e50df4f66ffd6c0b)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision 9cf07b3e93c797f6cac8f231b45f109514f18aba)
@@ -28,9 +28,5 @@
 #
 
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4
-#TODO enable this when the breakage is fixed
-#(fat fails on invalid instruction, tmpfs hangs, there may be other issues)
-#fat: page_fault - instruction doesn't access memory (instr_code: 0x1508, badvaddr:0x.
-#$(subst _,-,$(PROCESSOR))
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=$(subst _,-,$(PROCESSOR))
 
 ENDIANESS = LE