add RHEL7 to supported TinMan OSes