Kernel sources

For interested parties -

Answer is here : Compile Kernel on RPI2 from RBP2-sources-osmc - #2 by DBMandrake?

Thanks DBMandrake

reason why i was looking was you need this currently when installing TV tuners - i see a many person seeking advice for this topic on here on disparate threads.

Thanks.