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