[OpenBIOS] Re: [PATCH v2] pci: Rename pci_xbox_blacklisted() as pci_xbox_skip_device()