Help with Hardware – New to KODI



Hello Friends. 

I’m new to KODI, coming from out-of-shelf streaming devices. 
I’m not satisfied with my Shield Pro and I; ‘d like to try a dedicated mini PC running Kodi, but before I move into this world I’d like to pick your brains. 

The primary source would be movies 4K 24hz HDR with Dolby Digital audio. 

I have two mini PCS lying around and I’d like your sincere opinion to which should have a better performance for the topic above:
Option 1 – NUC7i5BNH https://ark.intel.com/content/www/us/en/…i5bnh.html
Option 2 – NUC6i7KYB https://ark.intel.com/content/www/us/en/…i7kyk.html

I know they are old and maybe useless for this kind of application but I’d like to hear your opinions. 

Thanks