package debian: add missing armhf as supported architecture