is there a cheap sbc or soc from an atleast-somewhat-reputable source that comes pre-loaded with linux ?