I've actually found that adding CONFIG_CPS=y gets it a bit further in the boot. And if I enable a bunch of serial drivers and not use virtio, then I can get it working. However, I'm aiming for an exclusively virtio platform. Yet virtio doesn't seem to appear on the PCI bus. Hmm...
