I thought I'd share my script for preparing full kernel sources in lieu of kernel headers, if anyone is interested.
It has been my goal to submit this script as part of a tools extention which I use regularly, but extension is not ready (I have more usful scripts to add yet). Meanwhile this script is ready and I use it often, daily almost.
This script has been adjusted for use with 3.8.10 kernel only, though the previous version was in use compiling apps for core64 v4.7.7
Once downloaded, the source files (downloaded to /tmp may be saved for future use, or they will be downloaded next time used.
I welcome your comments
Thanks to Jason and juanito for their guidance and inspiration
edit amended additional ping check