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

From: Michael Rauch <mrauch@NetBSD.org>
To: gnats-bugs@NetBSD.org
Cc: 
Subject: Re: kern/33725
Date: Wed, 12 Jul 2006 14:42:26 +0200

 After a suggestion from Matthias Drochner on current-users, I tried to
 narrow down the bug by compiling part of the files with -O2 (instead of
 the default -Os) and the culprit seems to be machdep.c: If I set 
 COPTS.machdep.c+=-O2 in sys/conf/Makefile.kern.inc
 the kernel boots successfully.