xen: xen/page.h compile fix