[OpenBIOS] [PATCH] Use compat value from pci_dev_t

[Laurent Vivier]

Use field compat from pci_dev_t to fill "compatible" property.