Clone of official tools

toolchains/arm.py/shortlog@8ea194f6145b: not found in manifest