Update kernel config for 3.9