Re: [PATCH v2 12/13] unicore32: define syscall_get_arch()