Comment 9 for bug 1046226

You need in fact to edit as root the file /boot/boot.script
update the bootargs line as follow:
setenv bootargs ro elevator=noop mem=1G@0x80000000 root=UUID=4dd037b6-24e8-4602-9caa-f13574fb6709 fixrtc quiet splash

You will then need to execute: sudo flash-kernel
Finally reboot