Kernel.org: 4.20.10
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.130-2
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

Intel: KBIBX10J

PCI IDWorks?VendorDeviceDriverKernel
80867192YesIntel Corporation440BX/ZX/DX - 82443BX/ZX/DX Host bridge (AGP disabled)ignore
80867110YesIntel Corporation82371AB/EB/MB PIIX4 ISAignore
80867111YesIntel Corporation82371AB/EB/MB PIIX4 IDEata_piixv2.6.25-
80867113YesIntel Corporation82371AB/EB/MB PIIX4 ACPIi2c-piix4v2.6.25-
14145353YesMicrosoft CorporationHyper-V virtual VGAhv_vmbus,hv_timesource,hv_netvsc,hv_utils