indeed..you're right, saving r12 seems to be not necessary.
i did some tests, even with gcc 5, all worked. but  i'm still only 99.9% sure .-)

http://stackoverflow.com/questions/261419/arm-to-c-calling-convention-registers-to-save