distr_info: fix for RHEL

bin/distr_info

@@ -237,7 +237,7 @@ normalize_name()
 		"Fedora Linux")
 			echo "Fedora"
 			;;
-		"RedHatEnterpriseLinuxServer")
+		"Red Hat Enterprise Linux Server")
 			echo "RHEL"
 			;;
 		"ROSA Enterprise Linux Desktop"|"ROSA Enterprise Linux Server")

tests/etc/RHEL/etc/os-release

+NAME="Red Hat Enterprise Linux Server"
+VERSION="7.9 (Maipo)"
+ID="rhel"
+ID_LIKE="fedora"
+VARIANT="Server"
+VARIANT_ID="server"
+VERSION_ID="7.9"
+PRETTY_NAME="Red Hat Enterprise Linux Server 7.9 (Maipo)"
+ANSI_COLOR="0;31"
+CPE_NAME="cpe:/o:redhat:enterprise_linux:7.9:GA:server"
+HOME_URL="https://www.redhat.com/"
+BUG_REPORT_URL="https://bugzilla.redhat.com/"
+
+REDHAT_BUGZILLA_PRODUCT="Red Hat Enterprise Linux 7"
+REDHAT_BUGZILLA_PRODUCT_VERSION=7.9
+REDHAT_SUPPORT_PRODUCT="Red Hat Enterprise Linux"
+REDHAT_SUPPORT_PRODUCT_VERSION="7.9"