Что-то не нагуглил прогресс по сегфолту на компиляциях: кто-то пишет, что воспроизводится, кто-то, что надо выбирать номер партии...
Есть тут владельцы? Стоит рассматривать райзен для линуксов в 2018 году или брать интел? Предполагается как раз таки компиляция и в целом длительная нагрузка на проц (компиляция gcc, компиляция msvc в виртуалках, конвертация видео).