Move kernel_t timing out of mutex