CONFIG_HAVE_PCI (not configurable)

configname: CONFIG_HAVE_PCI

Linux Kernel Configuration
└─>Device Drivers
└─>HAVE_PCI
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
is depended by
CONFIG_PPC_MPC512x