Serving 100k requests/second from a fanless Raspberry Pi 4 over Ethernet