FreeBSD NetFPGA driver