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 d5bd8d70ae04526718fa7fc44f9461c962ec9964)
@@ -40,5 +40,7 @@
 void as_arch_init(void)
 {
+#ifndef __OBJC__
 	as_operations = &as_pt_operations;
+#endif
 }