[coreboot] Patch merged into coreboot/master: 8354d7c ChromeOS: drop unused debug header description