devio=1.2-1build1
flash-kernel=2.28ubuntu42.2linaro1
u-boot-linaro-vexpress-ca9x4=2012.08.2+6693+48+201209220435~precise1
linux-headers-linaro-vexpress=3.6.0.1.1
u-boot-tools=2011.09-2
ubuntu-vexpress-extras-config=0.2
linux-image-linaro-vexpress=3.6.0.1.1
linux-firmware=1.80~linaro3
uboot-mkimage=2011.09-2
linux-image-3.6.0-1-linaro-vexpress=3.6.0-1.1~ci+120924145659
linux-headers-3.6.0-1-linaro-vexpress=3.6.0-1.1~ci+120924145659
hwpack-linaro-vexpress=20120925-322