[coreboot-gerrit] Patch set updated for coreboot: 6813261 Replace hlt() loops with halt()