Synopsis: can't compile 7.0 Xen kernel without DDB State-Changed-From-To: open->closed State-Changed-By: jdolecek%NetBSD.org@localhost State-Changed-When: Sat, 23 Jun 2018 16:01:06 +0000 State-Changed-Why: Fixed, thanks.