added micro benchmark for FPU saving/restoring