Allow RHEL mirror URL to be customized at box build time