I've finally got around to making my own sound module 32bit complaint! I'm only aware of two games that use it so far:
Trivial Pursuit
World Class Leader Board
I've tested the module (not the games) on the Pi and confirmed it does produce sound, I'll need to get a game working to before I can tell if it needs to take account of buffer size / sample rates - I suspect it will need modifying.
The BASIC source is on the dev site and the module will be in the next ADFFS release. Apart from 32bit compliance, the only difference was increasing it's default waveform allocation block from 16kb to 128kb - it was easier to test with the samples I had.