[PATCH] x86_64: Add compat_sys_vmsplice and use it in x86-64