Cleanup. Kill linux_sys_msync and use sys___msync13 instead.