[coreboot] Patch merged into coreboot/master: 47e1964 crossgcc: update to GDB 7.5