Additional small change to user_defines.v to denote the correct set of
definitions that are not used in the caravan project (although that is
not relevant here).  Only changed comment lines.