Re: [coreboot] Coreboot hackathon hardware