Let's show which toolchian it's being used for kernel

Change-Id: I031286b89857534572dc33698708257ab3fe5e56

Conflicts:
	core/dumpvar.mk