review.coreboot.org / coreboot / 54546c97c780f86a050021d38109aa6c681bfd15 / src / lib / halt.c