Running mainline U-Boot on the Jetson-TK1

Dear,

Anybody knows how to run mainline U-Boot on the Jetson-TK1?

I found this posting, however it does not work.
https://devtalk.nvidia.com/default/topic/802953/jetson-tk1/how-to-compile-amp-install-mainline-u-boot-/?offset=9#5181455

I want to run 2015.10 or later U-Boot.

Thanks,