x86/xen: Rename SYS* entry points