Use fxsave64 to ensure the upper 32 bits of FIP are preserved

Use fxsave64 to ensure the upper 32 bits of FIP are preserved #690