Synopsis: bge(4) chips with ASF/IPMI firmware don't work when NetBSD boots State-Changed-From-To: pending-pullups->closed State-Changed-By: buhrow%NetBSD.org@localhost State-Changed-When: Thu, 19 May 2022 17:29:24 +0000 State-Changed-Why: Ticket was completed.