A saber que puede ser... yo en mi HTPC utilizo libreelec y tan contento. ¿Utilizas el equipo para algo más que htpc? si la respuesta es no te recomiendo mucho esa distribución.
https://libreelec.tv/downloads/ ahí puedes descargarla y una vez instalada se inicia directamente Kodi.
Yo la probé en su día en una raspberry y luego la instalé en mi equipo de salón.