Parameterized HDMI_HRES for hdmi_core and reflected changes in testbenches too.