And yet Amazon spent a ton of time and money writing Firecracker from scratch for their workloads. Why is that?

Multiple reasons:

1. Firecracker is still a smaller more deliberate surface area 2. qemu didn't have a microvm type at the time. Firecracker was the impetus for it