Updated function key mapping because of possible changes to NOTIFY.

The TTY driver now only notifies the IS server about function key event,
but does not tell which keys are pressed. The IS servers queries the TTY
driver to find out about this.

kernel/system/tracing.c

@@ -12,7 +12,6 @@
 #include "../system.h"
 #include <sys/ptrace.h>
 
-#if ENABLE_K_TRACING		/* only include code if tracing is enabled */
 
 /*==========================================================================*
  *				do_trace				    *
@@ -139,4 +138,3 @@ register message *m_ptr;
   return(OK);
 }
 
-#endif	/* ENABLE_K_TRACING */