Netfront creates multiple mutexes: one for each netfront_info, netfront_rxq, and netfront_txq. But these mutexes are not cleaned up when these resources are freed up. Added a mtx_destroy() for each mutex created.

Compile-tested.