[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 5 commits: Fix a profiling race condition resulting in segfaults.