use rev11 as host toolchais & gcc-4.8.0 build script fixes