It may be rare to find folk with this exact setup but I always try the non-4K UHD port (most consumer products are only UHD, not 4K.)

They usually have an answer or check firmware versions all around.