devio=1.2-1build1 linux-image-linaro-mx51=3.0.0.1006.6 flash-kernel=2.28ubuntu19linaro2 u-boot-tools=2010.12-2 linux-image-3.0.0-1006-linaro-mx51=3.0.0-1006.8~ppa~natty u-boot-linaro-mx51evk=2011.08.5-0ubuntu1~ppa~natty1 linux-firmware=1.60~linaro1 uboot-mkimage=2010.12-2 wireless-crda=1.13 hwpack-linaro-imx51=20110926-0