Synopsis: bge(4) chips with ASF/IPMI firmware don't work when NetBSD boots State-Changed-From-To: open->pending-pullups State-Changed-By: buhrow%NetBSD.org@localhost State-Changed-When: Thu, 19 May 2022 16:00:38 +0000 State-Changed-Why: Submitted a pullup request. .