Small changes to make Ubuntu/Debian on ARMhf work (and probably others).
Merge pull request #209 from jabjoe/arm_support

Small changes to make Ubuntu/Debian on ARMhf work (and probably others).