The Odroid XU4 would be a pretty decent candidate, IMO - if it could boot with FreeBSD. There's a port being worked on for NetBSD, but I think it's booting only to a primitive stage at this point. That's too bad, cuz the XU4 is a Pi form factor, 2GHz and 2Gb, 8 core SBC. I ran FreeBSD on it in a QEMU session, LOL. Pretty slow. So, I ended up with the most de-bloated Linux I could build (Gentoo) - and for the time being I take solace in the fact that my WiFi goes through a FreeBSD proxy Pi box.