vivado: port itc demo system to vivado. this initial version has only HDMI output