Add Linux kernel 3.12.17.