package debian: enable armhf platform