[U-Boot] PCIe bridges on Jetson TK1