Why not just use OSMC on the Vero 4K. Sam has finely tuned OSMC to run on the Vero 4K, and it just runs Kodi.
If I have helped you or increased your knowledge, click the 'thumbs up' button to give thanks :) (People with less than 20 posts won't see the "thumbs up" button.)