[coreboot] Patch merged into coreboot/master: 2ce20b6 Fix AMD Fam14 cbmen allocation