Kernel.org: 4.20.10
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

Foxconn: N15235

PCI IDWorks?VendorDeviceDriverKernel
11065364VIA Technologies, Inc.CN896/VN896/P4M900 I/O APIC Interrupt Controller

doesn't seems to work correctly with xubuntu 14.04 (2015-06-17T02:22:29+00:00)