Why do Dreamlink and Formuler boxes use a basic phone version of Android instead of AndroidTV which is designed to be used on TVs with remotes?

Is the licensing too expensive or simply just not attainable?