If on ARM, default to building ARM

Signed-off-by: David Scott <dave.scott@citrix.com>
Add package containing missing header

Signed-off-by: David Scott <dave.scott@citrix.com>
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>
debiancontrol: add armhf to x86_64 and i686

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #481 from djs55/linaro2

Some of the change sets needed for ARM