--- setup/srcconf_freebsd.inc.orig	2016-08-28 17:44:24.596513000 +0200

+++ setup/srcconf_freebsd.inc	2016-08-28 17:44:47.849829000 +0200

@@ -12,6 +12,6 @@

 {

 # if defined(__x86_64__)

   fprintf (f,

-	     "CFLAGS += -O3 -fno-common  -mcmodel=kernel -mno-red-zone  -fno-asynchronous-unwind-tables -ffreestanding\n");

+	     "CFLAGS += -O3 -fno-common  -mcmodel=kernel -mno-red-zone  -fno-asynchronous-unwind-tables -ffreestanding -mno-sse\n");

 # endif

 }