OpenMandriva Lx 4.0 Planned, Linux Kernel 4.12 Comes to OpenMandriva Lx 3 Users