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