[TESTING] Kodi 18 (Leia) builds for Raspberry Pi

I’d advice you change the name of each device: like osmc1, osmc2 or something like the seven dwarfs of snowwihte. Anything that makes em uniqe.

Here is how to do it in ssh: