[PATCH] Drop support for armv6l (and armv7hl)