x86: Fix default FPU initialization
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 16:45:40 +0000 (12:45 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 17:49:51 +0000 (13:49 -0400)
commitc7b641a4d9cae1c0a2e67a7e5a077ea912c4f670
treec655040aab42bd1b932af617658f784dfe8d035d
parente9c8add175523458ef08e132c957142c160d5833
x86: Fix default FPU initialization

Our old method did not have a clear x87 state, which you could see by
looking at the xstate_bv bits.

I don't know if fxsave needs something similar.  Since I don't have a
machine that doesn't have xsaveopt, I'm not too concerned for now.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/init.c