That is the right repository. You can also use the Kernel mainline, but I am not sure which things are not supported. In case you want this (to use the latest), install Yocto, select your machine and follow this document https://community.freescale.com/docs/DOC-94971
Leo