Revert 55b0435bdeb by #ifdef'in it to ARMv7 platforms.
Merge branch 'master' of https://github.com/pocl/pocl
Fix merge with master