On Fri, Oct 12, 2007 at 08:16:58PM +0200, Adrian Kiess wrote: > I can confirm exactly the same behaviour for an an dual 550 MHz/2M Xeon > system booting an netbsd-4 RC2 ACPI enabled kernel. Can you please use either the patch I provided a bit ago or http://www.netbsd.org/~joerg/netbsd4-i386.bz2? Joerg