packaging-ubuntu; issue #516: Add xorg kernel to Vagrantfile for stable ubuntu LTS docker distro

Standardize addition of stable 3.8 kernel and vbox additions for official Ubuntu LTS docker distro, including support of AWS