debug: make the Kernel leaner - picked from @morfic

Signed-off-by: Francisco Franco <franciscofranco.1990@gmail.com>

Conflicts:
	kernel/sched/Makefile
arm: remove tracing options.

Signed-off-by: Francisco Franco <franciscofranco.1990@gmail.com>