[SeaBIOS] [PATCH] paravirt: call pci_bios_init_devices() when runningOnXen()