The new long-term Linux kernel, Linux 4.14, has arrived