Linux kernel 3.12.5 stable