Initial support for Raspberry Pi

Here are a bunch of build updates along with a new external/linux32arm directory to support building the code on a Raspberry Pi with an armv6 processor.