Our kernel is now 3.13.0-29-generic.