It is a stock kernel from the current Debian repository. The firmware was loaded using `apt-get install firmware-bnx2`.