>> Can you try to build a kernel from -current sources, which include 
>> sys/arch/x86/x86/mpacpi.c rev 1.38, and sys/arch/x86/x86/acpi_machdep
.c
>> rev 1.11?
>> 
>> I fixed one way that the ACPI SCI interrupt could get screwed up, 
but I
>> can't verify if that matches what you are seeing.
> 
> I should be able to build one and try it later today.  I'll let you 
> know how it goes.

Yes, it works for me.  I'm up and running with a 4.99.1 kernel (but not 
userland yet).

	--Ed