The Intel 5010u (with hd5500 graphics) supports 4k60hz resolution. I've read reviews of the RL85 which specify that the unit can output 4k 60hz but I'm not able to achieve this.
I know the HDMI 1.4 port can only do 4k @ 30hz, but the Mini Dispayport 1.2 should support 4k @ 60hz.
I bought a converter for my TV (HDMI 2.0) from Club3d, which converts mini displayport to 4k@60hz, but even with this connected, I can only see 4k 30hz in the list of supported modes from the REVO:

Note that 3840 by 2160 at 60hz is missing from the 'list of valid modes', even though it is in Intel's spec for the HD5500.
The control panel acknowledges that my monitor (TV) supports 4k 60hz, so I'm not sure why this isn't showing in the list of available modes:

If I try to create a custom resolution, I receive an error message that 4k 60hz 'exceeds the available bandwidth', or something to that effect. I did a bit of reading, and apparently manufacturers of motherboards can limit this bandwidth in the BIOS, but I can't find where to change this, or to find out if this is even the problem.
Can anyone else verify that they're able to achieve 4k 60hz output on their Windows 10 REVO?