Configuring Kodi remote access via ssh with advancedsettings.xml does not work as expected: webserver would not listen for http on port 8080, but json rpc listens on port 9090.