[coreboot] Getting help to improve our documentation