Re: [PATCH 2/5] docs: mark CRIS support as deprecated