I need to rebuild the TI Linux Kernel for EVMK2E to add in USB serial support, among other things, and need instructions on where to get the source code, what options are used on the TI board (SMP etc), how to configure/build the Linux kernel (3.10.10 as supplied) and how to install the kernel on the EVMK2E evaluation board.