Re: [coreboot] ?