Problem with ifnet_output_raw on ethernet card