we want different gcc4.8er vendors

Conflicts:
	build-kernel.sh