Add 32-bit GCC 4.8 toolchains