Hi folks,

I just fixed an issue that would likely have affected some systems when
using ACPI interrupt routing.

If you had such problems, can you try updating to the latest sources,
and let me know how it goes?

I also put two test kernels in 

	ftp://ftp.netbsd.org/pub/NetBSD/misc/fvdl/acpi/amd64/

They use ACPI only, there's no MPBIOS fallback, and they have
some interrupt routing debug info switched on.

Thanks!

- Frank