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...