x86_64: fix arch_vma_name