We have just uploaded a new Lucid linux-fsl-imx51 kernel. It carries some kexec fixes and some some minor packaging fixes: https://www.launchpad.net/ubuntu/+source/linux-fsl-imx51/2.6.31-605.9 -apw