[PATCH] disable debugging version of write_lock()