It works *most* of the time, whereas the logo editor never works for flashing kernals.

Careful of your semantics, there. Logo editor works most of the time for most people, from what I gather. I think you meant to say it never works for you.

Do you have the ability to re-compile Download.C and experiment with it? I need someone who can reproduce the problem reliably to locate the fault.