[coreboot] Patch merged into coreboot/master: f87b008 Add support for socket LGA775