Weil es mich mal interessiert hat, ob das so mit meinem Samsung (F-series) und dem VDR4Arch tut, habe ich mal das smarttvweb plugin paketiert und auch die entsprechende App auf dem TV installiert.
Kurz: Es tut mit 2.2.0.
Anbei der PKGBUILD als tar.gz-Archiv; falls es jemanden interessiert.
Gruß,
--connaisseur