Re: [coreboot] [PATCH 3/3] X60: use I/O 0x1600/0x1604 for ACPI accesses