Kernel.org: 3.3.7, 
sid (unstable): 3.2.18-1
wheezy (testing): 3.2.17-1
kmuto bpo d-i: 
squeeze-bpo: 3.2.15-1~bpo60+1
squeeze (stable): 2.6.32-45
lenny (oldstable): 

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)