Merge tag 'android-13.0.0_r12' into int/13/fp3

Android 13.0.0 release 12

* tag 'android-13.0.0_r12':
  Fix integer wrap sanitisation.

Change-Id: I5af6c18bbaccf81c63f33e87db880fc2586f2a46