Multiple CVs for kernel mutex, updated wait/signal tests