Re: [PATCH 04/31] docs: mark CRIS support as deprecated