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