10м это ни разу не проблема , у меня прекрасно работает 10м hdmi провод купленный за 150грн при старом курсе. И 12 и 15 при качественном кабеле тоже работают.
Вот только вмуровывать hdmi в стену не лучшее решение, если все-таки будут какие-то проблемы с кабелем (перегнули сильно при укладывании и со временем изоляция испортилась, не заработал с другим устройством, вышел новый стандарт hdmi и нужен новый кабель) то будет печально. Идеально укладывать hdmi в кабель-канал, который уже можно задекорировать как хочется. Я так и сделал, у меня кабель канал на потолке покрашен вместе с потолком и вид не портит. Можно еще за потолочным плинтусом пустить например.