devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu27.2~linaro1
uefi-image-arndale=1:0.1+git11+20130222+d9875a6-0linaro1
arndale-ethernet=0.1
u-boot-tools=2012.04.01-2
linux-firmware=1.98~linaro1
u-boot-linaro-arndale5250=2013.01+7641+49+201302080107~quantal1
uboot-mkimage=2012.04.01-2
libuuid-perl=0.02-4ubuntu2
linux-base=3.5ubuntu4
linux-image-3.9.0-1-linaro-arndale=3.9.0-1.1ubuntu1~ci+130323145405
linux-headers-3.9.0-1-linaro-arndale=3.9.0-1.1ubuntu1~ci+130323145405