Re: [coreboot] broken boards