--- fpu/softfloat.h	2010-11-05 10:45:18.000000000 +0100
+++ fpu/softfloat.h	2010-11-05 10:45:42.000000000 +0100
@@ -90,7 +90,7 @@
 #define FLOAT128
 #else
 /* native float support */
-#if (defined(__i386__) || defined(__x86_64__)) && !defined(CONFIG_BSD)
+#if (defined(__i386__) || defined(__x86_64__))
 #define FLOATX80
 #endif
 #endif /* !CONFIG_SOFTFLOAT */