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