[so2] [linux-so2 kernel] Problema cu compilarea pe 32 de biti

[Vladimir Oltean]

Bug-ul la care am facut referire si pe care am uitat sa-l linkez este:
[1]: https://bugzilla.redhat.com/show_bug.cgi?id=805370