Fix kernel paths

Conflicts:
	core/tasks/kernel.mk