Re: [PATCH v2 13/15] target/cris: Remove the deprecated CRIS target