The HDMI device control stuff (I don't recall the official term for it) has always been junk.