Ubuntu kernel 3.11.0-12.19