Compaq s'investit dans Linux