Getting Kodi / LibreELEC to work smoothly on a Raspberry Pi 4