Use <stdint.h> for INT32_MIN and INT32_MAX.

Bug: 12708004
Change-Id: I99f222b2db1d128abf6ffbf7173a5aaff48f8e85
1 file changed