Index: kernel/arch/abs32le/Makefile.inc
===================================================================
--- kernel/arch/abs32le/Makefile.inc	(revision 5d618d8f43ac89327c401d395ec9b4fdf6d9c0a9)
+++ kernel/arch/abs32le/Makefile.inc	(revision 76ecb300e88900544c3ed958ebd01eea01eda40e)
@@ -31,6 +31,10 @@
 
 BFD = binary
-TARGET = i686-pc-linux-gnu
-TOOLCHAIN_DIR = $(CROSS_PREFIX)/ia32
+
+ifeq ($(COMPILER),gcc_cross)
+	TARGET = i686-pc-linux-gnu
+	TOOLCHAIN_DIR = $(CROSS_PREFIX)/ia32
+	GCC_CFLAGS += -march=pentium
+endif
 
 BITS = 32
Index: uspace/lib/libc/arch/abs32le/Makefile.inc
===================================================================
--- uspace/lib/libc/arch/abs32le/Makefile.inc	(revision 5d618d8f43ac89327c401d395ec9b4fdf6d9c0a9)
+++ uspace/lib/libc/arch/abs32le/Makefile.inc	(revision 76ecb300e88900544c3ed958ebd01eea01eda40e)
@@ -30,6 +30,9 @@
 #
 
-TARGET = i686-pc-linux-gnu
-TOOLCHAIN_DIR = $(CROSS_PREFIX)/ia32/bin
+ifeq ($(COMPILER),gcc_cross)
+	TARGET = i686-pc-linux-gnu
+	TOOLCHAIN_DIR = $(CROSS_PREFIX)/ia32/bin
+	GCC_CFLAGS += -march=pentium
+endif
 
 ARCH_SOURCES = \