NetBSD 11 desktop on a Raspberry Pi 4