[coreboot-gerrit] Patch set updated for coreboot: bac7e4f Introduce halt()