kernel 3.13.x (ubuntu 14.x) fixes