Hello, I was just reading Stefan's API wiki page and something dawned on me. For the i82801xx, the LPC GPIO Base address is set to 0x500. According to Stefan's API wiki page the coreboot table is also at 0x500. The output from the kernel indicates a conflict at 0x500? Could this be causing a conflict???
Kernel: PCI quirk: region 0400-047f claimed by ICH4 ACPI/GPIO/TCO PCI quirk: region 0500-053f claimed by ICH4 GPIO