Re: [coreboot] Obvious bug in mcp55/pci.c