Use github.com/Icoteq for the linux-imx kernel