Add lock_mutex, unlock_mutex in mutex.s