The apt-get framework screwed up while upgrading my power-kernel. In this case from 50 to 51 --- I assume it does this in small steps to keep it from being bad --- I am aware that 52 is out.

Anyways... after much cajoling, I have gotten the recovery kernel to boot and I can see the power 51 kernel in /boot/ of the device.

... so this means that I've got flasher working and that I can load the rescue OS just fine.

Now... what I want to know is: how do I get the power 51 kernel booting without blanking my device. From what I read, the flasher can be used to upload blank images and whatnot --- but given that the only thing is wrong is the kernel not booting and that I can boot the recovery OS ---

How do I use this to simply set the right kernel to load?

I would expect this to be something for the FAQ...