Feature #3055: Add option to change mac_prefix in migrator