hdmidisplay now works on both zedboard and zc702