Add ARMhf support

Hi Alex,

Don't know if this is of interest to you, but I'd added ARMhf support to your Debian build.

Joe