At least these are objectively physical measurements, and not the previous subjective "could be used for military purposes" crap. A PENCIL "could" be used for military purposes.
But, yes, all it means is that manufacturers will make XKC4799 versions that will be under the XKC4800 limit. Could be as simple as a small delay line on the the clock input, or even just document the device as "2.4GHz" instead of "2.5GHz". How can they stop the end-user overclocking a part after they've bought it? I got my 25MHz ARM3 running at 33MHz perfectly happily for 20+ years.
Biting the hand that feeds IT
