Computador Intel Quad Core, Linux