Merge "Optimizing: Use 16-bit Thumb2 PUSH/POP when possible."