Add the fpu type to kernel.core on x86. Needed to set the fpu_mode

when it's loaded so that the C code knows what to do.  In particular
call_into_lisp needs to know to save the correct fpu state.