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

From: Andrew Doran <ad@netbsd.org>
To: Matthias Drochner <M.Drochner@fz-juelich.de>
Cc: gnats-bugs@netbsd.org, port-i386-maintainer@netbsd.org,
	gnats-admin@netbsd.org, netbsd-bugs@netbsd.org, shannonr@netbsd.org,
	lars.nordlund@hem.utfors.se
Subject: Re: port-i386/36206: Segmentation faults with SMP on i386multiprocessor kernel
Date: Thu, 14 Jun 2007 18:02:01 +0100

 On Thu, Jun 14, 2007 at 06:51:32PM +0200, Matthias Drochner wrote:
 
 > Thanks -- they are not eager to announce it publically
 > as it appears.
 > Just found a new BIOS on the Dell website, marked "urgent"
 > (but one has to search for it).
 
 I wonder if this can be tested for as we test for some AMD errata. I'll
 investigate when I have time. At a minimum I think we should put it into
 the release notes for 4.0.
 
 Andrew