CRIS v32: Update kernel/crisksyms.c