Success, and thank you, surdu_petru! Just one minor heart-stopping moment... bootloop after removing the Android kernel. I don't recall trying to reboot after that step, but evidently the device thought I did. I got back to the recovery menu and finished properly, and all is well.