[coreboot] Patch merged into coreboot/master: 4ba35db Fix AMD Fam12 CBMEM allocation