use kernel from 14.04

We've found that the trusty kernel fixes some bugs for us. I would be willing to try extracting this into a config variable, but I don't know of any reasons not to use the most recent kernel.