As much as I like the idea of a 13GHz laptop, setting it to 1.3GHz is probably
for the best for the time being.