Comment # 12 on bug 1008946 from Borislav Petkov

(In reply to Brian Price from comment #11)
> Booted with those parameters and uploaded dmesg. Where can I download
> those kernel versions?

Right, so you're going to have to build them yourself. Let me know
whether you want to do that and I'll walk you through the process of
checking out the stable git tree, checking out a tag and building a
kernel.

Alternatively, I have a similar CPU as yours and I can try to reproduce
it here next year :)

Thanks.