What exactly does one need to do in order to install to the internal memory?
Also, any idea why was the SD card not being recognised? I'd only flash to internal to use my micro SD card as storage for Kodi so, if that doesn't work for some reason, there's no point in flashing to internal.
What was your SD card format before you formatted it to ext4?
I bought a brand new "Samsung Pro 64GB", it seems to be fake. It worked only a couple of times and when i reinserted it after checking if the ext4 fs was ok it started to smoke and now the sd slot no longer works. It came preformatted with FAT32 i think but to use the SD card as a normal filesystem this is not the best choice for libreelec.
You just need to be able to boot your system from sd card (or maybe USB works also) and then you ssh to it as user root and execute "installtointernal".
So my only option to increase the internal disk space now is to use a USB stick.
Btw - my tests so far show that kodi works much better than with android. WAV files have the correct speed, surround sound works. I also added a Logitech K400 keyboard and it works out of the box. The remote control works better than with Android, all keys work while with Android some keys did not and could not even be mapped.
Performance seems to be even better than my NUC DN2820FYKH - at least scanning some media files was faster.