Fixes #7207: Add RHEL7 support.

could we somehow make shared images use the same box name?  That way it doesn't download the image for each box?