Change width of fpu_state_t for x86_64.
Change width of fpu_state_t for x86_64.

gcc (and probably other compilers) don't like working with 16-bit
types and will zero-extend where needed. Save some overhead and
just store the state as a 32-bit type.

tj90241/cen64,LuigiBlood/cen64,LuigiBlood/cen64,tj90241/cen64