s3:locking/proto.h: add GPL/Copyright header (cherry picked from commit 93b8e90b5beb5...