librelec/raspi funktioniert nach wie vor nicht, oder?
Bei mir läuft in dieser Kombination nun zumindest der NFL Game Pass wieder. Das Problem ist wohl eine Umstellung von Google, die letztlich dazu führt, dass Widevine für ein 64-Bit-System von inputstream.helper installiert wird. Wenn man über die manuelle Installation die 32-Bit-Variante installiert, starten die Streams wieder. Anleitung dazu ist hier.