Comment 2 for bug 9063

I did, and the fans worked every time -- that's why I asked you on IRC what
kernel it was using because once the reboot happened the same kernel wasn't
working. And thus tracked it down to the order of those two module load lines,
which was the only thing different.

I was more thinking how the installer images choose which kernel they're going
to install? But I guess if the package name doesn't change, they're ok?