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