added micro benchmark for FPU saving/restoring
updated the micro benchmark for FPU
fixed some coding problems in pull review