Symbol: aspeed_pcie_rc_platform