ddk: fix w/w mutexes after removing TASKDATA
tree79c21b6c83d3f328972f5088b8c1956991dd132f
drwxr-xr-x - _tools
-rw-r--r-- 15079 build.txt
drwxr-xr-x - contrib
drwxr-xr-x - data
drwxr-xr-x - drivers
drwxr-xr-x - kernel
drwxr-xr-x - programs
drwxr-xr-x - skins
-rw-r--r-- 2222 tup.config.template