[PATCH v4 00/13] Support DEVICE_GENERIC memory in migrate_vma_*