The GPU driver itself is largely the same, though it might need some tweaks for the specific variant in the K1.

The bigger hurdle will likely be the display controller. The TH1520 and JH7110 both use the Verisilicon DC8200, whereas the Spacemit K1 uses a custom display controller that will need its own DRM driver mainlined.

If your board comes with a HDMI output you surely want to the that to connect e.g. a TV