RedHat and software patents