Fix 32-bit Android build for ARMv7 (#842)

Tested with currently supported Android NDK r21d.

Signed-off-by: James Morrissey <james.morrissey@arm.com>
2 files changed