T4080 uses the same source code as T4240.
In QorIQ SDK 2.0 Yocto build environment, please run the following command.
$ bitbake u-boot -c patch -f
Get u-boot source code in build_t4240qds/tmp/work/t4240qds-fsl-linux/u-boot-qoriq/2016.09+fslgit-r0/git/
$ bitbake virtual/kernel -c patch -f
Get Linux Kernel source code in build_t4240qds/tmp/work/t4240qds-fsl-linux/linux-qoriq/4.1-r0/git/