use the new jboss repos for the profiles