It's shape is a bit different now than it was in rev 1.12, but is functionally
equivalent. Also add a comment explaining it's sense.
This fixes breakage reported after LP64 fixes in kern/8037, and
also kern/9116 and kern/9206.
Rewieved by: Wolfgang Solfrank, Chris G. Demetriou