“Do all the hdmi ports pass 4k through?”