Comment # 5 on bug 968744 from G of Borg

I am not that familiar with swapping kernels. I have in the past ended up with
3 or 4 different ones in my GRUB menu but that was due to an updater/installer
bug. The problem is I am not confident in reversing out/swapping the kernels.
If you would like to contact me outside of the bug report via email and help me
test the kernels I will do that. FWIW, I set my running kernel as locked and
updated the rest of the applications, rebooted and sound is still working.