Необходима  полноценная поддержка HDMI CEC в части управления на ВКЛ\ВЫКЛ в цепочке ТВ-AV ресивер-спутник. Это главное.
Высота корпус не более 7см
Linux подобный, ибо об Андроид вариантах наслышан (с дивана) о неустойчивой работе.
Из моделей почитываю об :
Opticum ax hd60 4k
VU+ ZERO 4K DVB-S2X
Openbox AS4K CI PRO

Из трёх указанных Вами моделей, две - китайского производства.  В тех.описании к этим ресиверам не говорится о поддержке технологии HDMI CEC.
В третьей модели, корейского производства, действительно присутствует технология HDMI CEC. Высота корпуса корейского ресивера всего 5 см.
Этот ресивер имеет полноценный плагин YouTube TV, который совершенно отличен от устаревшего плагина YouTube, не обладающего большими достоинствами.
Для примера YouTube TV установлен во всех современных телевизорах SONY ( Андроид и Опера), за остальные говорить не буду, ибо имею только SONY.
Ну,а если Вам нафиг не нужен YouTube, а достаточно только всей семьей смотреть спутниковые ТВ-каналы, то вариант приобретения китайского Опенбокса будет вполне приемлим, ибо этот приёмник обладает 2 гигабайтами оперативной памяти, а это очень даже хорошо с учётом невысокой цены этого аппарата.