Update to kernel 3.12