I'm not an expert of others rockchip socs, but with rk3228 (not the same of the one discussed in this thread) the only boards that can handle 4k contents are the ones with ddr3 and clock rate >= 600mhz.
maybe can be useful to check also type and clock of DDR RAM.