force 32-bit build to fix garbled output

Pico TTS is currently broken on 64-bit. There was an attempt to port it,
but the voices are garbled, perhaps due to integer truncation. Until it
gets fixed (if ever), it needs to be compiled as 32-bit.

Change-Id: Iae009dafc41796169999cab2dae4b246be2ea0f4
4 files changed