mutex: refactored the interface to code to return a Mutex* handle
svc: enabled use of newly created kernel thread handle