Update to kernel 3.1-2