I tried using the method of find the kernel source suggested to me on a somewhat similar question.
I want to do two things
(1) find the source to "3.9.0-1-linaro-arndale #1ubuntu1~ci+130404024430 SMP PREEMPT"
(2) figure out how to build the kernel so that is labeled "3.9.0-1-linaro-arndale #1ubuntu1~ci+130404024430 SMP PREEMPT" and not "3.x.x-x-generic" which is what it usually says when I compile a kernel source.
Can someone point me in the direction of these answers?
Thanks Chad