Solved! Go to Solution.
The 4K terminal should indeed come with an HDCP 2.2 compatible cable (4K certified), as is usually the case. If the cable itself isn't HDCP 2.2 compatible, tech support or customer services can send a new one by mail without a problem.
But just to be absolutely sure, I'd get in touch with tech support to check that everything is alright. If you get any kind of message about 4K-compatibility, it could be a configuration issue with the terminal itself.