axis_dev88: Use cpu_cris_init() to obtain CRISCPU