devio=1.2-1build2 flash-kernel=3.0~rc.4ubuntu54 linux-headers-3.10.79.0-1-linaro-lsk-vexpress=3.10.79.0-1.1ubuntu1~ci+150617141032 ubuntu-vexpress-extras-config=0.5 fvp-pre-boot=0.2.20150617+git54+789c220-0linaro1 linux-image-3.10.79.0-1-linaro-lsk-vexpress=3.10.79.0-1.1ubuntu1~ci+150617141032 linux-base=3.5ubuntu4 libuuid-perl=0.05-1build1 uefi-image-vexpress=1:0.2+git18+20140522+4a54859-0linaro1 u-boot-linaro-vexpress-ca9x4=2012.08.2-ubuntu1 linux-image-3.10.79.0-1-linaro-lsk-vexpress-dbgsym=3.10.79.0-1.1ubuntu1~ci+150617141032 kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~saucy1 hwpack-linaro-lsk-vexpress=20150725-725