[SeaBIOS] Relation between PCI device and Xenstore Device