Updated kernel config to 3.13.2.