Kernel.org: 5.2.2
sid (unstable): 4.19.37-6
buster (testing): 4.19.37-5+deb10u1
stretch (stable): 4.9.168-1+deb9u4
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

-assembled: 06:04.0 0480: 1131:7134

PCI IDWorks?VendorDeviceDriverKernel
11317134YesPhilips SemiconductorsSAA7134/SAA7135HL Video Broadcast Decodersaa7134v2.6.25-