[coreboot] proposal: coreboot docs in separate repo