On 9/3/10 5:16 PM, repository service wrote:
device pnp 2e.7 on # GPIO
io 0x62 = 0x1220
io 0x64 = 0x1200
io 0x62 = 0x1220 # Simple I/O
io 0x64 = 0x1228 # SPI end
Are these IO ports? If so, you might be seeing a double allocation because coreboot starts dynamic io resources at 0x1000 while static ones usually live below 0x1000.
Stefan