CTR2(KTR_PMAP, "moea64_bootstrap: kstack0 at %#x (%#x)", pa, va); truncates va values for powerpc64

[Mark Millard]

I noticed that:

CTR2(KTR_PMAP, "moea64_bootstrap: kstack0 at %#x (%#x)", pa, va);

truncates the number displays because I copied/pasted the material
into a printf that I was using --and had truncated values displayed.

The actual va value on the PowerMag G5 was large enough to truncate,
but the format for pa does not match pa's type for that context
either.

===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)