For future reference: Problem with unauthorized MiniPCI network card