HP comercializa estações de trabalho com processadores Itanium que correm Red Hat