[PATCH] Remove references to obsolete kernel config option DEBUG_RWSEMS