Make capstone library compile with arm-none-eabi-gcc 4.8