[coreboot] New patch to review: 2e32ef1 Add Python scripting to GDB.