On Tue, Jun 30, 2015 at 11:10:30AM -0400, Kevin O'Connor wrote: > The QEMU code will use the prefix "/pci at i0cf8,%x/" for devices on > extra pci root buses, so change the SeaBIOS code to match that. FYI - this patch was committed. -Kevin