added FPU saving/restoring with micro benchmark

**Note**

This pull request includes only the FPU code.

I'm going to make another pull request of POSIX code based on this commit.

You can pull this commit or made another temp branch so I can make the pull request to the branch include this commit, then only POSIX code difference will be shown.