I've been playing around with FreeBSD 13.0 on my Pi 4B, and when benchmarking the genet(4) Ethernet interface I found I could only get to a peak of ~92MB/s (736 mb/s). Looking at top, it appears this is limited by interrupt handling rate, as performance was showing 25% interrupt usage (hw.ncpu=4 for those unaware). I thought about trying polling(4) to get higher speeds, but that doesn't appear to be suported in the genet driver. Is there any sysctl I should be looking at tuning to get higher network performance, or am I just stuck with this as the maximum speed?