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

Intel: None

PCI IDWorks?VendorDeviceDriverKernel
8086152aYesIntel Corporation82599 10 Gigabit Dual port Network Connection with FCoEixgbev2.6.38-

From ixgbe driver:
#define IXGBE_DEV_ID_82599_BACKPLANE_FCOE       0x152A (2011-01-18 18:41:16)