The Intel docs list those 11 bits as available to software, and are not
reserved for any future flags they may want to add. I was a bit
surprised too.
I suppose.
We could have an auction:
Do I hear 46? 47? 48? 50? 52! Going once, twice, 52 bits!
Anyway, we can fix it later in a separate patch. This is a
change-as-little-as-possible bugfix patch.
J
--