Recognize armv7a and friends as aliases for armv7-a etc. for the purpose
of architecture naming.