dCore Jessie and Trusty use the same  patched 3.8.13 kernel source as regular TC.

http://distro.ibiblio.org/tinycorelinux/5.x/x86/release/src/kernel/linux-3.8.13-patched.txz