[coreboot] Patch merged into coreboot/master: 95aad86 Fixes Fam10/SR5650 cpu not recognized message.