hdmi display now works with zedboard+Philips LCD