Symbol: BDX_PCI_UNCORE_R2PCIE