xen64: set up syscall and sysenter entrypoints for 64-bit