[coreboot] Patch merged into coreboot/master: f4a8272 crossgcc: Update GDB patch version to 7.4.1