When performing an Administrator Driven Batch Migration the 'Provision distribution groups' option is grayed-out
The 'Provision distribution groups' option will appear grayed-out (unavailable) if the program cannot find the GroupsToProvision.abk (the file it would need to provision the PDLs). The 'GroupsToProvision.abk' file is generated by the "Directory Exporter". If the 'Administrator Driven Batch Migration' program cannot find the 'GroupsToProvision.abk' file, it is likely that the Directory Exporter has not yet been run.
See Necessary Pre-Migration Preparations in chapter 3, step Step 8: Run Wingra's Directory Exporter, for more information.