[coreboot-gerrit] Patch merged into coreboot/master: 69a21b1 crossgcc: Fix building with texinfo-5.x