Does System76 revenue prove Linux growth trend?