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