[coreboot] New patch to review for coreboot: 95aad86 Fixes Fam10/SR5650 cpu not recognized message.