git_sha1_gen.py: fix out-of-date comment