We've run various tests on the standalone version that this version of the driver is derived from, along with compiling this diff into a CURRENT kernel and verifying that the kernel boots, and the interfaces appear in ifconfig and pass traffic. (On a system with an X520 and an X540).