kernel config 3.8.13 for Core i7-2600