Inzwischen habe ich eine Antwort vom Premiere-Technik-Service erhalten. Der SW-Fehler ist tatsächlich bekannt. Vielleicht tritt er mit dem nächsten BS-Update sogar weniger oft auf ... :-)

Immerhin ein Tipp: Kompletter Neustart ist nicht immer nötig. Meistens genügt es, vom TV- in den Radio-Modus zu wechseln und wieder zurück. Dann wird der Code, der den Absturz verursacht, neu geladen.