Intel 10Gbit support is included - but we're using the kernel "in-tree" ixgbe driver instead of Intel "out-of-tree" ixgbe driver (tree refers to the Linux kernel source code tree).   If you really need extra functionality provided by the Intel driver you can do more than pray, you can complain here: https://sourceforge.net/p/e1000/bugs/