Styrelseordförande och grundaren bakom en av värdens största datortillverkare, Michael Dell, kör enligt denna sida Linux som operativsystem på en av sina datorer.