Working armhf build on ODROID-U3 running Ubuntu 14.04.1
Merge pull request #988 from rcarmo/debian_armhf

Working armhf build on ODROID-U3 running Ubuntu 14.04.1