Jetson TK1 board support

Jetson TK1 is an NVIDIA Tegra124 reference board.

Signed-off-by: Stephen Warren <swarren@nvidia.com>