Update to kernel 3.10