CES will be unveiling (so I'm told) a 4k TV/monitor this week. It has been talked about for a couple of years. Is the limitation of viewing 4k from the Red an issue with the HDMI cable, the HDMI output port, or the board only being able to output 1080p? Forget why this would ever be needed, I'm just curious if someone knows. Thanks.