I don't which HK models, if any, will have HDMI. Regardless, the issue is whether or not the video switching bandwidth is high enough to pass a 1080p signal and if it is at least 100 MHz, it should work fine. The manual for the receiver should specify the video bandwidth.