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