Успех (Zybo Z7-10). UART и HDMI работают. Ревизия 9953, там добавлен новый файл ARM/ZyboZ710.Tool. В нём нужно выполнить две команды - для создания конфигурации экрана (я выбрал 1024х768) и команду сборки файла img. Далее образ заливаем на Micro SD (например, с помощью Win32DiskImager) и запускаем. Работает UART (можно через него подавать команды) и HDMI (видна графическая оболочка). USB не работает (клавиатуру и мышь подключить нельзя), сеть - вроде тоже не работает (у меня в руках). Постараюсь оперативно записать видеоролик с описанием процесса. Хотя тут есть техническая  проблема - нужно записать и видео с экрана, и просто видео. Там есть разные нюансы с питанием, джампером, подключением по UART. Спасибо Алексею Морозову, кто всё это сумел осуществить! До этого там был файл для старой Zybo, но он не подходит для Zybo Z7-10, поэтому понадобилась новая ревизия.