[coreboot] Patch set updated for coreboot: 5254c95 Inagua: Synchronize AMD/inagua mainboard.