Спасибо всем, отписавшимся в комментариях к прошлому посту!

Оказывается, уже в процессе тестирования прошивка от tecnocat с поддержкой HDMI.