tree 28f7d789fa3f940a07cfa250cfde354a0786225f
parent 69a6dc1d97a590230b634da7e92fb1acbefa53f2
author Barret Rhoden <brho@cs.berkeley.edu> 1576183700 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1583266410 -0500

x86: print out the Guest PA width during boot

I wanted this info when debugging the IPT.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>