Linux 4.12 final is released, the 4.13 merge window opens, and various

assorted ongoing kernel development is described in detail