[coreboot] Patch set updated for coreboot: aa1faf7 Add Python scripting to GDB.