Add Ubuntu 12.04.3 (includes 3.8.0 kernel, for Docker) amd64 for both VM...

...ware and Virtualbox