Jetson TK1 board support

[Andrew Turner]

On Fri, 14 Nov 2014 20:58:26 +0000
"Weiß,  Dr. Jürgen" <weiss at uni-mainz.de> wrote:

> The Ethernet works quite well. But there has been a change in a more
> recent version of u-boot which did not initialize the interrupt 
> routing of the pcie bridge. So you do not get receive interrupts.
> 
> I put more recent patches for the jetson tk1 board to
> 
>  http://www.staff.uni-mainz.de/weiss/jetson-tk1-20141114.tgz 

Is this the latest patch? I would like to start to get this reviewed so
we can pull it into head.

Andrew