Update the Linux kernel configuration to v3.17 of the kernel.