So 0.7ms speed improvement. If I boot my computer 3 times a day, then I will have saved 0.8 seconds cumulatively in a year! Not really worth writing home...