The following reply was made to PR kern/32539; it has been noted by GNATS.

From: Tobias Nygren <tnn@NetBSD.org>
To: gnats-bugs@NetBSD.org
Cc: 
Subject: Re: kern/32539 (entering ddb when closing lid with ACPI)
Date: Sun, 19 Aug 2007 19:13:52 +0200

 As pointed out by cube@ who looked at the dsdt dump, it has code like:
 
 Method(VLOC, 1) {
    BreakPoint
    ...
 
 This is a firmware bug, unfortunately present even in the latest
 embedded controller firmware. I'll write up a small guide on how to
 compile a kernel with a patched dsdt, and publish it somewhere.
 (After which I think we can close this PR.)
 
 If you google for Thinkpad x40 BreakPoint you'll notice we're not
 the only OS who hit this issue.