Add 32-bit Linux build for Raspberry Pi, etc., support

Like this? Fund us! Your patronage helps keep us independent and going.