K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2015-07-04T19:00:38.316835Z
K 7
svn:log
V 328
Use the correct type for physical addresses.

On Book-E, physical addresses are actually 36-bits, not 32-bits.  This is
currently worked around by ignoring the top bits.  However, in some cases, the
boot loader configures CCSR to something above the 32-bit mark.  This is stage 1
in updating the pmap to handle 36-bit physaddr.

END