Hello, is anyone running NetBSD-current on Raspberry Pi 4? Is it relatively stable? I've seen posts about Ethernet working now. Does USB boot work? Does Xorg work? Thanks.