There are now decompilations available for Christian Whitehead’s excellent port of Sonic 1, Sonic 1 and Sonic CD.
Is there a way to add those ports to Batocera?
https://github.com/Rubberduckycooly/Sonic-1-2-2013-Decompilation
https://github.com/Rubberduckycooly/Sonic-CD-11-Decompilation