[packman] kodi.binary-addons 18.2 32-bit

[Giacomo Comes]

I have noticed that since the release of kodi 18, 
the binary-addons for 32-bit are missing.
In order to build them add this change to the spec file:

@@ -211,6 +211,9 @@
     -DVERBOSE=ON \
 %endif
     -DCMAKE_C_COMPILER=gcc-8 \
+%ifarch %{ix86}
+    -DCMAKE_C_FLAGS=-mavx \
+%endif
     -DCMAKE_CXX_COMPILER=g++-8 \
     -DBUILD_DIR=build \
     -DNEED_SUDO=FALSE \

Regards.
Giacomo