Functionality of copy_user_nocache_64.S was moved to copy_user_64.c