Kernel upgrade

If we're going to run docker, we will need the kernel to be upgraded to 3.8.0

ref: http://docs.docker.io.s3-website-us-west-2.amazonaws.com/installation/ubuntulinux/