fixes for #62: eliminate unused parameter warnings

NOTE: this commit introduces a kernel API change for mutex_unlock