[PATCH v2 10/13] nios2: define syscall_get_arch()