Linux 4.12 final is released, the 4.13 merge window opens, and various
assorted ongoing kernel development is described in detail