Merge "Handle ARM thumb function symbols." into pi-dev