So it seems that getting this to work reliably does need tracking of
more recent kernels. Probably also figuring out how not to brick the
device! So let's do the latter first.
Can always have ROM boot from SDCARD first (MMC0) by pressing S2 switch.