One thing I like about from Firecracker, is that it doesn't even try to emulate a PC, it just implements the minimum amount of features that Linux needs to boot up.

I'm considering creating a QEMU machine type that uses the same strategy.