Comment 14 for bug 1318551

I can confirm that after installing the kernel at

ftp://big-bum.uni.cx/pf-kernel/amd64/linux-image-3.15.0-pf4%2B_3.15.0-pf4%2B-10.00.Custom_amd64.deb

the server worked for days without problem (however it's not in production, as I'm a bit scared of using such a kernel in production)

I think that this issue is unrelated to gcc bug linked upthread. Probably the linked kernel have some option that disable/make it working "Processor Clocking Control" or "Collaborative Power Control"