[coreboot-gerrit] Patch set updated for coreboot: f335419 Rename hardwaremain() to main()