Make it compile on ARMv6

These patches make it compile on RaspberryPi (which is an ARMv6 platform).