Adding comments to threading facilities, fixing kprintf, modifying threading test.