Penultimate version of Linux kernel 3.5.x released