[coreboot-gerrit] Patch set updated for coreboot: d96ec2b x86: add thread support