[makkonen]

To temper the good news with some not-so-good, it doesn't look like there'll be the super simple fix I'd hoped for on the raph500. (Though... I guess no one still reading this thread even cares about the raph500.) I can't get any version of the kernel to boot without pretending it's a raph800 (which is an uglier state of affairs than I had expected). But we'll see... it might not be as bad as it looks.