[coreboot] incomplete documentation