BENTO-119: update kernel on ubuntu boxes

The diff is a bit weird.. basically this makes a new provisioner, which calls 'dist-upgrade.sh' which does a apt-get -y dist-ugprade and a reboot.

Then it proceeds with the original packer provisioner your wrote (after 10 seconds).

Tested on virtualbox, with all ubuntu variations