Synopsis: Failed to build disable DDB kernel on sgimips. State-Changed-From-To: needs-pullups->pending-pullups State-Changed-By: tsutsui%NetBSD.org@localhost State-Changed-When: Sun, 09 Sep 2018 04:51:47 +0000 State-Changed-Why: [pullup-8 #1017]