Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision f619ec11294d6774460c8c5c50473bf484647d12)
+++ kernel/arch/ia32/Makefile.inc	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
@@ -34,5 +34,5 @@
 BFD = binary
 TARGET = i686-pc-linux-gnu
-TOOLCHAIN_DIR = /usr/local/i686/bin
+TOOLCHAIN_DIR = /usr/local/i686
 
 DEFS += -DMACHINE=$(MACHINE) -D__32_BITS__
Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision f619ec11294d6774460c8c5c50473bf484647d12)
+++ kernel/arch/ia32/src/mm/as.c	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
@@ -40,5 +40,7 @@
 void as_arch_init(void)
 {
+#ifndef __OBJC__
 	as_operations = &as_pt_operations;
+#endif
 }