Kernel.org: 4.20.11
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

PCChips: M558

PCI IDWorks?VendorDeviceDriverKernel
33888011Hint CorpVXPro II Chipset
33888012Hint CorpVXPro II Chipset
33888013YesHint CorpVXPro II IDEata_genericv2.6.25-
13f60111YesC-Media Electronics IncCM8738snd-cmipciv2.6.25-
101300a0YesCirrus LogicGD 5430/40 [Alpine]cirrusfbv2.6.25-
10330035YesNEC CorporationUSBusb-ohci,ohci-hcd
10330035YesNEC CorporationUSBusb-ohci,ohci-hcd
103300e0YesNEC CorporationUSB 2.0usb-ohci,ehci-hcd

pci=nobios dows not allow access to any pci device as the motherboard solely relies on the bios for pci setup. (2011-02-22 17:21:24)