Issue #3108021 by alexpott, lauriii: Set $defaultTheme for install profiles using configuration install (cherry picked from commit de6caed1)