Add support for armhf

Change-Id: If4dc1e0afd1ef95a4f5aa89fbbeb1045998411bf
2 files changed
tree: a0e7984b12dd297e8350970f854d930fb0f3ccd7
  1. debian/