x86/xen: use correct types for addresses in arch/x86/xen/setup.c