We reported the other day that the long-term supported Linux 3.14 kernel branch is about to reach end of its life, and that one more maintenance …