We’ve already told you a few weeks ago that Canonical’s Ubuntu Kernel Team plans to ship Ubuntu 17.10 with the Linux 4.13 kernel by default, and work on that front already started. They’re currently following the development cycle of Linux kernel 4.13 and recently rebased their builds on the RC4 milestone announced by Linus Torvalds this past weekend. The plan hasn’t changed, Ubuntu 17.10 will be powered by Linux kernel 4.13, but it looks like the Ubuntu Kernel Team started work on a special kernel for Raspberry Pi 2 single-board computers, for Ubuntu 17.10, that’s based on the Linux 4.12 kernel series. And they’ve recently updated their Linux 4.12 kernels to the latest 4.12.5 release that was announced last week.