[coreboot-gerrit] Patch set updated for coreboot: b43b695 cpu/intel: Add configuration for socket LGA1155