[coreboot-gerrit] Patch set updated for coreboot: f3f9cd4 payloads/external/SeaBIOS: retain the built binary