Not the option, maybe, but does it have the capability? The Tegra 4 certainly does. Is there a difference in the HDMI connector required to permit 4K? Something else on the board?
If I flashed an NP-1 image onto a Mad Catz MOJO, would I have an NP-1?
Mojo only runs 1080p, and doesn't have the option to run in 4K.