Mocha loads via homebrew menu, it's not permanent, its an app that can run from homebrew menu, just like wupinstaller or loadiine for example.
Procedure.. load homebrew menu via browser or whatever, run mocha and press the 'A' button, this will take you to wii u menu, load homebrew menu again...