diff -r cfc4fa8529b3 -r 2149f1ecff1f src/arch/x86/faults.cc
--- a/src/arch/x86/faults.cc	Tue Jun 11 10:54:09 2013 +0200
+++ b/src/arch/x86/faults.cc	Tue Jun 11 10:57:10 2013 +0200
@@ -268,6 +268,8 @@
         tc->setMiscReg(MISCREG_DR6, 0x00000000ffff0ff0ULL);
         tc->setMiscReg(MISCREG_DR7, 0x0000000000000400ULL);
 
+        tc->setMiscReg(MISCREG_MXCSR, 0x1f80);
+
         // Flag all elements on the x87 stack as empty.
         tc->setMiscReg(MISCREG_FTW, 0xFFFF);