I am looking to contact Gericom at the moment, perhaps I will be able to answer your question by then.
My project should perform well on O3DS with audio disabled. You can disable audio by setting the last four bytes of config.bin to 03 00 00 00.
Hi. I am the developer of the previous 3DS port that was posted earlier. I can answer some questions about my project here. I am looking to get into contact with Gericom, ideally through Discord or something similar since I am new to GBAtemp.