Rebuilding Linaro 13.09 panda kernel

Hi,

Where can I find the git repo that contains the kernel sources for the Pandaboard 13.09 Ubuntu image?

The Linaro wiki mentions the kernel/linux-linaro-3.1.git repo:

https://wiki.linaro.org/Resources/HowTo/KernelDeploy

I didn't see a kernel/linux-linaro-3.11.git repo, so I'm guessing kernel/linux-linaro-stable.git is the repo I want?

To reconstruct the .config that was used to build the kernel, I suppose I should 'cat debug.conf linaro-base.conf omap4.conf panda.conf ubuntu-minimal.conf'?

Thanks for your help.

Best, Arun