Libreelec and Lakka dual boot