diff --git a/configure b/configure
index cd94ceb27a..8b27469c64 100755
--- a/configure
+++ b/configure
@@ -585,7 +585,7 @@ _cpuinfo="echo"
 if test -r /proc/cpuinfo && not cygwin; then
   # Linux with /proc mounted, extract CPU information from it
   _cpuinfo="cat /proc/cpuinfo"
-elif test -r /compat/linux/proc/cpuinfo ; then
+elif test -r /compat/linux/proc/cpuinfo && not x86 ; then
   # FreeBSD with Linux emulation /proc mounted,
   # extract CPU information from it
   _cpuinfo="cat /compat/linux/proc/cpuinfo"