And me again 
I am started wifi on OrangePi Plus
Download from here. Probably in your repository for the same driver. Correcting only get_monotonic_boottime to getboottime on line 352.
Sometimes hdmi-cec also works. sometimes in 5 minutes sometimes in an hour .. but not stable.
The interface is also very slow, but if you take your clean assembly without my interference. 8.0 version is very fast compared to this.
top -H
581 root 20 0 406668 84700 36300 R 35.9 8.5 2:44.00 kodi.bin
604 root 21 1 406668 84700 36300 S 25.7 8.5 1:13.56 PeripBusCEC
644 root 21 1 406668 84700 36300 D 1.3 8.5 0:01.92 JobWorker
In idle 35.9 of them 25.7 thread PeripBusCEC and while the remote at this point did not work. even if you turn it off in the menu, it still loaded the CPU.
+ logs from kodi http://ix.io/1zda
It also turned out to get a nec-6 remote through ir-keytable -c -w /etc/rc_keymaps/rc6_mce
continue experiments ...
p.s. make libreelec from here and install from update.sh loaded somewhere here in the subject
