Synopsis: fix build pkgsrc-wip/linux-kernel-headers State-Changed-From-To: open->closed State-Changed-By: gutteridge%NetBSD.org@localhost State-Changed-When: Sun, 31 May 2026 15:45:28 +0000 State-Changed-Why: As explained, wip is really just that, works-in-progress, rather than ticketable.