Index: kernel/arch/ia32/include/arch/barrier.h
===================================================================
--- kernel/arch/ia32/include/arch/barrier.h	(revision 235d31de52ec23ea2a4cb3b7837814333820b9cd)
+++ 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"