Why would it be related to the Cortex A72? It's just going to have a bus coming off it, right? It's got no idea what PCIe even is. The problematic bit would seem to be the PCIe controller/root complex on the SoC.