All I have to say guys in regards to setting up your Pro w/ a 4k TV, is to triple check your settings on both devices.
Regarding the Sony X800D:
So other than people telling those to use HDMI 2 or 3 for 4k w/HDR (HDMI 1 doesn't even do 4k @ 60, which would be a problem for games like Titanfall 2 or CoD Infinite Warfare).
When you set your Sony 800D in the setttings -> input -> enchance HDMI ports. It didn't work the first time. The PS4 still had the 2160p RGB setting greyed out. The 2160p YUV
setting was there, but that only does HDR up to 2k, not HDR up to 4k.
I had to try to toggle it on and off again in the TV's settings, then the PS4 showed both 2160p settings (YUV and RGB) available. From there of course, you put it on auto. And on auto, it seems the PS4 Pro wants RGB, you know that by checking the video output information. (which is super helpful and I'm glad Sony put it in there for the Pro).
TLDR:
1) I had to know to set my Pro HDMI input to certain HDMI inputs on the TV. Not all HDMI inputs on a TV have the same feature set.
2) I had to double check the current resolution by going to the settings menu on PS4, sound and screen. Noticed one of the resolutions was greyed out.
3) Then I had go back into the TV's settings, inputs, and turn on enhanced HDMI.
4) The setting was still greyed out on PS4.
5) Turned enchanced HDMI off, then back on again.
6) And then now the 2160p RGB setting was available.
...fucks sakes.