Благодаря новой версии BIOS удалось завести память на законных 3200 МГц, правда пока не очень стабильно. Если с новым бивасом и проблему с сегфолтами решат, то может куплю кулер и разгоню сам процессор чутка.