Added the cos_tcap_thd_cntl system call and associated operations.
These enable schedulers to set up a tcap for delegation, and to
activate a tcap on a specific thread (especially useful for interrupt
threads).