[Arch-excludes] Architecture specific change in rpms/z3.git