NetFPGA 10G Ethernet driver from NovaGenesis