Re: [opensuse-arm] armv7l vs. armv7hl rpm arch