Re: [OpenBIOS] [PATCH] Use compat value from pci_dev_t