Comment A fixed payment is not a royalty (Score 1) 48
Wikipedia defines royalties as "usage-based payments made by one party (the "licensee") and another (the "licensor") for ongoing use of an asset, sometimes an intellectual property.". While wikipedia is not authoritive that matchs my own understanding of royalties. By their very nature royalty payments are on going.
Thus Redhat is not paying royalties to FireStar (present tense) they have paid (past tense) money to them as a royalty-buy-out (meaning neither they, nor any downstream user, must pay royalties).
This does not, in any sense whatsoever, contradict the position that royalty encumbered standards are incompatible with the GNU GPL.