devio=1.2-1build1
linux-image-3.5.0-2-linaro-vexpress=3.5.0-2.2~ci+120723063620
flash-kernel=2.28ubuntu42.2linaro1
linux-headers-linaro-vexpress=3.5.0.2.2
u-boot-tools=2011.09-2
linux-image-linaro-vexpress=3.5.0.2.2
linux-firmware=1.80~linaro3
linux-headers-3.5.0-2-linaro-vexpress=3.5.0-2.2~ci+120723063620
uboot-mkimage=2011.09-2
hwpack-linaro-vexpress=20120723-185