devio=1.2-1build2 juno-pre-boot-0.10.1=0.10.1.20150108-0linaro1 flash-kernel=3.0~rc.4ubuntu53 linux-firmware=1.138.1+linaro2 uefi-image-juno=0.3.20140404-0linaro1 linux-image-3.19.0-1-linaro-vexpress64=3.19.0-1.1ubuntu1~ci+150122080207 uefi-image-startup-nsh=0.0.1.20140214-0linaro1 juno-pre-boot=0.10.1.20150108 fvp-pre-boot=0.2.20140715+git45+ab406f1-0linaro1 ubuntu-vexpress-extras-config=0.4 linux-headers-3.19.0-1-linaro-vexpress64=3.19.0-1.1ubuntu1~ci+150122080207 linux-headers-linaro-vexpress64=3.19.0.1.1 linux-image-linaro-vexpress64=3.19.0.1.1 libuuid-perl=0.05-1build1 linux-base=3.5ubuntu4 uefi-image-vexpress=1:0.2+git12+20140416+48c8a38-0linaro1 hwpack-linaro-vexpress64-rtsm=20150123-708