4k on Nvidia Jetson TX1

Hello friends

I have a Jetson TX1 with me. It has Ubuntu 16.04 [Arm64]. It plays 1080p content using kodi. But its not able to play 4k 10bit HEVC. Any one having any experience with Arm boards and 4k ? Any help will be much appreciated ?