devio=1.2-1build1 linux-image-linaro-mx51=3.0.0.1002.2 flash-kernel=2.28ubuntu19linaro2 linux-firmware=1.52 u-boot-tools=2010.12-2 u-boot-linaro-mx51evk=2011.07.2-0ubuntu1~natty1 linux-image-3.0.0-1002-linaro-mx51=3.0.0-1002.3~ppa~natty uboot-mkimage=2010.12-2 wireless-crda=1.13 hwpack-linaro-imx51=20110729-1