coreboot-kgpe-d16/util/bucts/description.md