[PATCH v2] x86/lib/copy_user_64.S: Handle 4-byte nocache copy