Update the kernel config