Makefile: remove -ftracer flags to keep the kernel smaller