We did that by defining 2 different servlet-mappings:
<servlet-mapping>
<servlet-name>myspringservlet</servlet-name>
<url-pattern>/mvc/*</url-pattern>
</servlet-mapping>
<context-param>
<param-name>OpenCmsServlet</param-name>
<param-value>/opencms/*</param-value>
</context-param>