kernel - (mainly x86_64) - Fix a number of rare races