It's really strange that SeaBIOS can't find your devices. Could you try this patch? I'm wondering what your PCI routing table looks like. I revived some of Ron's debug code from v3.

Thanks,
Myles