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