32bit semctl is broken on ARM