Include drivers for Sony PlayTV USB DVB-T
(Filing an issue as suggested at https://forum.turris.cz/t/missing-kernel-module-mn88473-general-kmod-questions/6387)
Please can you add the drivers for the Sony PlayTV USB DVB-T tuner (https://www.linuxtv.org/wiki/index.php/Sony_PlayTV_dual_tuner_DVB-T)
Attached are two lots of dmesg from a libreelec system on a Raspberry Pi: one from a fresh boot without the stick, and one from a fresh boot with the stick plugged in prior to boot: