modify kernel.mk

...

 On branch raum-4.3
 Changes to be committed:
	modified:   core/tasks/kernel.mk
	modified:   envsetup.sh