Kernel.org: 5.1.5
sid (unstable): 4.19.37-3
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u2
jessie (oldstable): 3.16.64-2

Debian GNU/Linux device driver check & report

PC Engines: alix3d3

PCI IDWorks?VendorDeviceDriverKernel
10222080Advanced Micro Devices [AMD]CS5536 [Geode companion] Host Bridge
10222081YesAdvanced Micro Devices [AMD]Geode LX Videolxfbv2.6.25-
10222082YesAdvanced Micro Devices [AMD]Geode LX AES Security Blockgeode-rng,geode-aesv2.6.25-
11063053YesVIA Technologies, Inc.VT6105M [Rhine-III]via-rhinev2.6.25-
10222090YesAdvanced Micro Devices [AMD]CS5536 [Geode companion] ISAcs5535-mfdv2.6.25-
1022209aYesAdvanced Micro Devices [AMD]CS5536 [Geode companion] IDEpata_amd,pata_cs5536v2.6.25-
10222093YesAdvanced Micro Devices [AMD]CS5536 [Geode companion] Audiosnd-cs5535audiov2.6.25-
10222094Advanced Micro Devices [AMD]CS5536 [Geode companion] OHC
10222095Advanced Micro Devices [AMD]CS5536 [Geode companion] EHC

my test: work right on gentoo kernel 3.2.12 & debian kernel 2.x.x (2012-06-12T17:29:57+00:00)