Provided jboss.dist is not taken into account when executing testsuite/integration/smoke, provisioned server is used instead. Introducing a new profile activated by jboss.dist (like in testsuite/integration/elytron) could help.