Comment # 4 on bug 1228601 from Aaron Williams

I had the wrong repo.  I installed the new kernel and will see how it behaves
the next time I reboot.