[coreboot-gerrit] Patch merged into coreboot/master: 304089b cpu/intel: Add configuration for socket LGA1155