Merge local Config
Merge branch 'sdrdc-devel' of https://github.com/silverbullettechnology/sdrdc-build into sdrdc-devel

Conflicts:
	Config
Merge branch 'sdrdc-devel' of https://github.com/silverbullettechnology/sdrdc-build into sdrdc-devel
Update the linux config file with 3.12 options and turn on tracing features.  The tracing option is needed for
ubuntu ureadahead profiler to work.