uefi-image-juno=0.3.20140404-0linaro1 juno-pre-boot-0.11.4=0.11.4.20150904-0linaro1 uefi-image-startup-nsh=0.0.1.20140214-0linaro1 juno-pre-boot=0.11.4.20150904 fvp-pre-boot=0.2.20150617+git54+789c220-0linaro1 ubuntu-vexpress-extras-config=0.5 uefi-image-vexpress=1:0.2+git12+20140416+48c8a38-0linaro1 linux-image-3.10.0-1-linaro-lt-vexpress64=3.10.0-1.1ubuntu1~ci+150910173858 linux-headers-3.10.0-1-linaro-lt-vexpress64=3.10.0-1.1ubuntu1~ci+150910173858