added FPU saving/restoring with micro benchmark