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