[coreboot-gerrit] Patch set updated for coreboot: bbdf01d x86: provide stage_exit() like arm