[coreboot] Patch merged into coreboot/master: b3d4024 Fix AMD Fam10 CBMEM allocation