Install 12.04's kernels to fix virtio block device device file name bug

Installed kernel packages are very old and may have security problems.
Use stemcells generated by this branch only for testing.