Adding to check for armv6l so Debian package can be built on Raspberry Pi