specdep: if we're building on armv7l, build armhf packages

armhf is the architecture of the ARM trusty port.

Signed-off-by: David Scott <dave.scott@citrix.com>