Yes, that's what the spec says. I queried this a few months ago, but
hpa used his convincing voice and said that in practice it isn't
necessary; there are no known cpus which need this, and any that do
would cause other things to break. But I guess now we have the
counter-example...
J
-