I don't know about the CIA build, but I do know that the 3dsx one messes up audio in other games but the music from Minicraft stops when exiting.
I allready tried everything I could find, but CSND_SetPlayState doesn't seem to fix it and CSND_Reset completely breaks Sound.
So if anybody knows how...