Re: [coreboot] Coreboot wiki: what license is the content under?