I've now managed to get this working with the standard Retropie 4.8 image on a Raspberry Pi 4b!
OP updated with the new instructions!
The full process is quite some work and not tested together with other emulators. Updates to Mesa, SDL and FFmpeg are neccessary for Retropie 4.8.