[OS-BUILD PATCHv10 5/7] redhat/configs/generate_all_configs.sh: Fix config naming