x86_64-linux:  Update configs

Only use these for building linux kernels as cross compilers

Signed-off-by: Paul Beeler <pbeeler80@gmail.com>
Update build scripts for cloog and isl

Signed-off-by: Paul Beeler <pbeeler80@gmail.com>
Merge remote-tracking branch 'sm/master' into master