It doesn't matter what frequency you set, it is always 333 MHZ. Now you have the choice of 333 or 400.
400 is useful for mp4 video playing with osso media player, where the dsp decodes sound and the cpu decodes video.
You can configure what frequency you want by editing /etc/kernel-dt-tunables and running "/etc/init.d/kernel-tunables restart"

PS: I have found a small issue with the ramzswap package. It seems it runs too early at startup and the ramzswap swap device is unmounted at the time the swap file is activated. As a workaround, run "/etc/init.d/ramzswap start" after booting. Tomorrow I will provide a fixed package.