Fix testbench and make a change to hdmi_core so that the simulation testbenches work.