correcting the kernel mutex's