Index: kernel/arch/ia32/include/arch/barrier.h
===================================================================
--- kernel/arch/ia32/include/arch/barrier.h	(revision 3b0f1b9a04083e5b48162443937d5e8d8303e4d0)
+++ kernel/arch/ia32/include/arch/barrier.h	(revision 17341d4bc043c59499d012d2496df6c02d40fc79)
@@ -54,5 +54,5 @@
 NO_TRACE static inline void cpuid_serialization(void)
 {
-#ifndef __IN_SHARED_LIBC__
+#ifndef __PIC__
 	asm volatile (
 		"xorl %%eax, %%eax\n"