xen: update Kconfig to allow 64-bit Xen