Xiaomi Mi Box with Libreelec, how?