Re: [coreboot] windows XP boots with ACPI HAL