System with vanilla kernel available for Opi PC+, but not PC?

[chocho]

Try this steps with root permissions :

dpkg-reconfigure tzdata

dpkg-reconfigure locales

apt install build-essential git pkg-config libssl-dev bzip2 wget libavahi-client-dev zlib1g-dev libavcodec-dev libavutil-dev libavformat-dev libswscale-dev libcurl4-gnutls-dev liburiparser-dev debhelper

cd /opt

git clone -b release/4.0 https://github.com/tvheadend/tvheadend.git

cd tvheadend/

AUTOBUILD_CONFIGURE_EXTRA=--disable-libav_static ./Autobuild.sh

cd ..

dpkg -i tvheadend_4.0.xxx_armhf.deb

It will ask for admin user and pass

Then open in browser http://OPI_IP_ADDRESS:9981