devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu44+linaro1
uefi-image-arndale=1:0.1+git37+20131123+aec0833-0linaro1
linux-image-linaro-arndale=3.13.0.1.1
linux-headers-3.13.0-1-linaro-arndale=3.13.0-1.1ubuntu1~ci+131215023714
u-boot-tools=2013.01.01-4
linux-image-3.13.0-1-linaro-arndale=3.13.0-1.1ubuntu1~ci+131215023714
linux-firmware=1.117+linaro1
u-boot-linaro-arndale5250=2013.01+7646+50+201307101117~raring1
linux-headers-linaro-arndale=3.13.0.1.1
libuuid-perl=0.02-5
linux-base=3.5ubuntu4
hwpack-linaro-arndale=20131216-558