I wonder if I can output 4k resolution (3840 × 2160) @ 30Hz with a Intel HD4000 graphics using Linux and a single HDMI output.

I have a [Thinkpad Edge E330](http://www.pcworld.com/product/1285467/lenovo-thinkpad-edge-e330-3354-ahg-.html) with HDMI 1.4. The CPU is an [i5-3210M](http://ark.intel.com/products/67355/Intel-Core-i5-3210M-Processor-3M-Cache-up-to-3_10-GHz-rPGA).

I know that there is a problem with the pixel clock (which is limited to 165MHz) which limits the output maximal output power. Now I know, that there are patches for Mac OS X.

Where is the pixel clock limited? In the kernel? In the graphics driver? Can it be removed/fixed in general?

Is the HD4000 powerful enough to be able to drive 4k @ 30Hz in general?