Fixes segfaults on ARM/SMP devices