[U-Boot] PCIe driver for a new Freescale ARM64 SOC