The performance overhead is probably not the biggest reason why you'd stick with Docker, though. The real kicker is that most existing services already run Docker containers and there are loads of resources out there to get you started. Firecracker is relatively new and unsupported. There's no technical reason why Firecracker is a better use case for an RPi, but I think people running RPi servers are on average less experienced and will likely benefit from the Docker knowledge base out there compared to, say, people renting a VPS somewhere, or people building full server machines.