Add solarflare 10Gbe drivers to the build.