#793941 ethdetect kills IPMI session on a DELL R510 server