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