[coreboot] Patch merged into coreboot/master: c89be60 util/crossgcc: Update gdb to 7.3.1