Fix packet sends in the NIC driver.
Fix packet sends in the NIC driver.

mwotton/HaLVM,ggkitsas/HaLVM,rowhit/HaLVM,mwotton/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,thumphries/HaLVM,rowhit/HaLVM,mwotton/HaLVM,elijah513/HaLVM,thumphries/HaLVM,GaloisInc/HaLVM,ggkitsas/HaLVM,rowhit/HaLVM