LibreElec dual boot with any other Linux distro on UEFI.