The following reply was made to PR port-amd64/34550; it has been noted by GNATS.

From: Peter Kerwien <peter@kerwien.homeip.net>
To: gnats-bugs@NetBSD.org
Cc: juan@xtrarom.org
Subject: Re: PR/34550 CVS commit: src/sys/arch/x86/x86
Date: Sat, 23 Sep 2006 20:59:12 +0200

 I don't know why ACPI enabled kernels causes my machine to reboot during 
 the boot process. Buggy BIOS? Can you please send a kernel with ACPI 
 disabled for test?
 
 /Peter
 
 Juan RP wrote:
 >  
 >  Please try this kernel to verify that things are working fine (it's
 >  a GENERIC_ACPI kernel from -current with latest changes):
 >  
 >  http://www.xtrarom.org/~juan/netbsd_amd64_generic_acpi.gz
 >  
 >