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