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