Re: [coreboot] Set Top Boxes and Linux?