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