[coreboot] Patch merged into coreboot/master: dc63ffb Fill out ChromeOS specific coreboot table extensions