Updated kernel config to 3.13.9.