Ensure that we have kernel lts-trusty

We like this kernel, it makes us happy. We should also have a standard vagrant box, because we have standards