Hi: Does anyone has any experience running Linux on the new Dell Zino line of PCs? I want to use it as a media center kind of box. It seems low cost and even has an HDMI out. http://www.dell.com/us/en/home/desktops/inspiron-zino-hd/pd.aspx?refid=inspiron-zino-hd&s=dhs&cs=19&ref=dthp thanks --Vincent