devio=1.2-1build1
flash-kernel=2.28ubuntu42.2linaro1
linux-headers-linaro-vexpress=3.6.0.1.1
u-boot-tools=2011.09-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+120827175751
linux-headers-3.6.0-1-linaro-vexpress=3.6.0-1.1~ci+120827175751
hwpack-linaro-vexpress=20120828-258