Re: [SeaBIOS] hotplug failure issue on pci-bridge