# CONFIG_DEVICE_MIGRATION is not set
