Good day, Packmans! I have just updated my Tumbleweed machine to the latest version. There was a kernel update today. After I had rebooted, Kodi from Packman wouldn't start! Running it from the command line gave a symbol not found error. Is anyone else experiencing this problem? Kind regards, Steven.