Synopsis: WIki page for evbarm port missing rpi4 mention State-Changed-From-To: open->closed State-Changed-By: gutteridge%NetBSD.org@localhost State-Changed-When: Wed, 12 Apr 2023 19:26:30 +0000 State-Changed-Why: Wiki adjusted to "Raspberry Pi family".