devio=1.2-1build2
linux-image-3.8.0-1-linaro-vexpress=3.8.0-1.1ubuntu1~ci+130125174543
flash-kernel=3.0~rc.4ubuntu27
u-boot-linaro-vexpress-ca9x4=2012.08.2+6697+48+201211212230~precise1
linux-headers-linaro-vexpress=3.8.0.1.1
linux-headers-3.8.0-1-linaro-vexpress=3.8.0-1.1ubuntu1~ci+130125174543
u-boot-tools=2012.04.01-2
ubuntu-vexpress-extras-config=0.2
grub-arm=2.00+bzr4615+201211215-0ubuntu1~linaro1
linux-image-linaro-vexpress=3.8.0.1.1
linux-firmware=1.98~linaro1
uboot-mkimage=2012.04.01-2
libuuid-perl=0.02-4ubuntu2
uefi-image-vexpress=1:0.1+git10+20130125+212a710-0linaro1
linux-base=3.5ubuntu4
kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~quantal1
hwpack-linaro-vexpress=20130128-58