[boost] Help with a shared_ptr problem on Android (ARM)

https://svn.boost.org/trac/boost/ticket/9912 reports that spinlock_gcc_arm.hpp segfaults on a Nexus 7. Unfortunately, I know next to nothing about ARM or Android, so I wonder if someone can help with that.