I have uploaded SD card images for petalinux based system supporting HDMI, precompiled for TE0720 on TE0701 base
http://www.trenz-electronic.de/de/download/d0/Trenz_Electronic/d1/TE0720-GigaZee/d2/reference_designs/d3/images/d4/SD.html
features:
ALL Video hardware configured in FSBL, first splashscreen loaded also by FSBL (if desired) as partition from BOOT.BIN
u-boot can load images from SD card to video memory
in linux there is framebuffer and standard graphical logos appear
there is currently no console on framebuffer support compiled in, but the video framebuffer is fully working.
No special drivers or patching needed.