[coreboot] Patch merged into coreboot/master: 5254c95 Inagua: Synchronize AMD/inagua mainboard.