xen: fix some style issues in p2m.c