[zypp-devel] [Patch][RFC] add armv7hl to sat-solver