Re: [SeaBIOS] [PATCH] seabios: call pci_init_device on resume