On Tue, Dec 27, 2005 at 09:17:05AM +0100, Frank van der Linden wrote:
> A solution is probably to boot an ACPI kernel instead. But, this would
> require you to rebuild the boot images, unless you can PXE boot over
> the network..

..or, as a temporary alternative to get going, install NetBSD/i386, since
that will use legacy IRQ interrupts, which might work. Of course, that's
not what you want as a permanent solution..

- Frank