[coreboot] Patch merged into coreboot/master: 1c83d12 AMD Inagua platform updates