ARM GCC char is unsigned

[lgeretti]

We need to account for the fact that the ARM GCC toolchain assumes char is unsigned. This interacts with logical operations, hence we should use short instead in that case.