kernel build scirpts:

Add configurable option for TARGET_GCC now that all kernels are compatible
with gcc 4.6-4.8