Update the kernel config to match the kernel version shipped.