A Red Hat a „legzöldebb” operációs rendszer