[OpenBIOS] Re: [PATCH v3] pci: Rename pci_xbox_blacklisted() as pci_xbox_ignore_device()