use KERNEL_LOG_XXX

for threading and synchronization modules.