[MTNIC] Minor cleanups of vendor-provided driver for Mellanox 10GigE cards