[coreboot-gerrit] Patch set updated for coreboot: f7bc16e hardwaremain: drop boot_complete parameter