I can confirm that EmuELEC (RaspPi Pico8 version 0.2.5e) does not boot. After downloading v0.2.5c everything runs fine.
My device is RG351P , if you're not sure how to run ports the best tutorals are here: https://retrogamecorps.com/2020/11/12/guide-pico-8-on-retro-handhelds/