Comment # 2 on bug 84836 from Alexander Tsoy

(In reply to Michel Dänzer from comment #1)
> Seems to work fine on my Cape Verde. What brand and model do you have
> specifically?

Gigabyte GV-R775OC-2GI. And if that matters, it's a revision with Micron
memory, flashed with latest available BIOS version F3.

> 
> Can you try a newer kernel?

I'll try 3.16 and 3.17 kernels next week.