Сейчас погуглил, вероятно с разрешением 1280х800 по hdmi облом, скорей всего и правда будет 1280x720.
Поэтому опять вопрос, как коммутировать lvds разъем? Хоть до банального выдергиваешь один штекер и вставляешь другой. А если серьезно можно использовать dvi коммутатор, pin'ов там должно хватить, но стоимость от 3000 рублей. Разве нет какой-нибудь коммутирующей микросхемы на много пинов за приемлемую цену? Или если использовать магнитные реле (типа
токого) в роли коммутатора, но непонятно какое будет качество сигнала.