migration: migrate_vmas should check "vma"