Comment 11 for bug 345534

here the snippet from the babbage install guide wikipage, a script similar to the above code needs to go into flash-kernel-installer
--
Now you need to make your SD card a boot device (the babbage currently only boots from SD) to achieve this, do the following:

Download the redboot tools package from http://ports.ubuntu.com/ubuntu-ports/pool/universe/r/redboot-tools/ Install this package

sudo dpkg -i /path/to/the/downloaded/package

Find the UUID of your target device now

sudo blkid <device path of the target device you noted down before>

Now use the fconfig tool to set a new bootscript on the SD card you installed from

sudo fconfig -w -d /dev/mmcblk0 -o 0x5F000 -n boot_script_data -x 'fis load initramfs\fis load kernel\e -r 0x1000000 -s 4530483 -c "console=ttymxc0,115200 console=tty1 root=UUID=<the UUID you determined with the former command>"'
--