@saunderez just FYI I had an error while building the image for LePotato, not related to Sx05RE so I am looking into it. I will let you know as soon as I find a solution.
No problem, I'm in no hurry.
I've spent a bit of time merging your Leia branch with CoreELEC master (the repo formerly known as LibreELEC-AML) and the merge is more or less done but there's some work to do to successfully compile for the LePotato - IIRC a missing target for the LePotato's DTBs. I'll take another look at it after work tomorrow. I forked your repo (GitHub - saunderez/Sx05RE: 'Just enough OS' for Kodi. Sx05 Retro Edition, an emulation build based on LibreELEC for S905, S805 Devices.) and I've been committing my changes so if I get it working I'll send a PR with my changes.
My build environment is a VM with 4 x 3.7ghz Ryzen 1700 cores (8 threads) and 8GB RAM allocated so compilation time should be alright once I get everything set up, I might be able to give you a hand with your builds.