Add kernel config up to 3.17