Respecto al 4k, en forum.kodi hay un grupo de desarrolladores trabajando en drivers y por lo visto ya lo han conseguido. Este grupo está trabajando con intel y por lo que he leído estará implementado en kodi 16. Ellos trabajan con la n3150.
Ahora mismo todo es beta