Does Linux make the 2012 macbook air run faster?