moved HdmiBits to HDMI.bsv