[GSS](7.3.z) JBoss Migration tool fails when migrating from EAP 7.0 to 7.3

When migrating from JBoss EAP 7.0 to 7.3, the migration process fails due to missing subsystems. A direct migration from 7.0 to 7.3 is not possible, so you must first migrate to 7.2.

The issue can be reproduced easily in either of the following scenarios:

A: Migrate from 7.0 -> 7.2 -> 7.3
B: Migrate from 7.1 -> 7.2 -> 7.3

The exception is:

11:44:07,097 ERROR [logger] Migration failed: org.jboss.migration.core.ServerMigrationFailureException: org.jboss.migration.wfly10.config.management.ManagementOperationException: WFLYCTL0369: Required capabilities are not available:
org.wildlfy.microprofile.config; There are no known registration points which can provide this capability.

A workaround exists by adding the following to the 7.2 configuration:

<extension module="org.wildfly.extension.microprofile.config-smallrye"/>
<extension module="org.wildfly.extension.microprofile.health-smallrye"/>
<extension module="org.wildfly.extension.microprofile.opentracing-smallrye"/>

AND

<subsystem xmlns="urn:wildfly:microprofile-config-smallrye:1.0"/>
<subsystem xmlns="urn:wildfly:microprofile-health-smallrye:1.0" security-enabled="false"/>
<subsystem xmlns="urn:wildfly:microprofile-opentracing-smallrye:1.0"/>