Re: [coreboot] proposal: coreboot docs in separate repo