1+2 are the same thing in rockbox, as plugins are compiled into the main firmware. You don't distribute/compile them separately.
I'm not sure if mikmod is a codec or a plugin in rockbox, but its very easy to check. If you play a file, and get the standard while playing screen, its a codec. If you end up inside a custom screen that isn't accessible for other formats, its a plugin.