configure fix for armhf

Default OS 32-bit Linux instead of error.