Henrik Gramner authored Jul 28, 2016 and Anton Mitrofanov committed Sep 20, 2016

It was previously only enabled on 32-bit x86 for no reason, so 64-bit
systems had to use a mutex instead of a simple `lock xadd` instruction.

Note that this code is only used in some very specific configurations
involving sliced threads.