Wrong architecture name for 32-bit ARMv7

Originally reported in this comment

The build system should use the armhf name of the architecture when compiling packages for ARMv7 architecture.