Re: [coreboot] Documentation