Hey,
The section about getting the kernel without uboot back in place is not complete.

This command doesn't seem to do that
apt-get --reinstall install kernel-flasher

It doesn't seem to have any effect, the uboot is still there...

I'll try flashing the old kernel with flasher-3.5. However, not a pleasant surprise. I was expecting to be able to get back easily to the previous state.