well, not just linux kernel stuff. your makefile is set to -O2, so i'd say it would almost certainly have changed it to shifts.
e: some other optimization tricks to keep in mind for arm:
http://stackoverflow.com/questions/10800372/c-tips-for-code-optimization-on-arm-devices