arch/arm/kernel/armksyms: fix