I just used DspDump on mine as well, and I'm not noticing much / any difference either. I'm pretty sure the dump worked correctly, as there's now a file called dspfirm.cdc in /3ds. I switched RetroArch to the "dsp" audio option, but Castlevania is still around the same speed (~30fps IIRC, but...