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