I read that newer firmwares would require a serial jailbreak, and I'm on 5.12.3, so that's what I did - the device is still taken apart and wired up via serial-USB. That said, after following the steps
here, KUAL never showed up. I also read the notes in snapshots for KUAL and MRInstaller, but the "search for ';log mrpi'" method just said no results found. What can I do to get KUAL working?