Update armksyms.c