Actually I got the same issue with my Anbernic on ArkOS. I eventually managed to run some PICO-8 games as executable binaries by switching to the terminal. It’s not really convenient and I don’t remember if all inputs were working, though.
On Batocera it seems that you can display it on the interface by adding a launcher script: https://www.reddit.com/r/batocera/comments/mrpx2o/native_linux_games/
For my game, a native PICO-8 version will be better eventually. However I’m still interested in running Linux games on portable consoles in general, I’d be able to add standalone indie games that run at lower res!