[OS-BUILD PATCHv3 1/2] redhat/configs: create a separate config for gcov options