Cubox4x4 - Lightest OS distro for Kodi

I.MX6
1

Hello,
I have an old Cubox4x4 (4 core and 4 Gb Ram).
Following your experience, witch is the most light operating system I can store on SD in order to run KODI?