Use their suggested kernel rather than the backport in the docker.io Vagrantfile example