I ported TCPGecko to the 4.0 FW, look at the wiiudev pygecko github and look at the pull requests. I submitted a pull request with the correct addresses to make tcpgecko work with 4.0.0 firmware. if not, just hit mine up and it has the right installer and codehandler for that firmware.