[OpenBIOS] [PATCH 1/4] pci.c: remove unneeded CONFIG_PPC define