Это вызвано некорректной обработкой телевизионной приставкой таблицы видеорежимов HDMI от 4К-телевизора (EDID (Extended Display Identification Data)).
Проблему можно решить подключением приставки по SCART или обращением в службу поддержки провайдера телевидения (и телевизионной приставки).