Nathanial - in general you don't need the headers, BUT - if you've installed any drivers which build automatically using dkms (such as nvidia proprietary drivers), you need the headers. It's safest to install them, it "only" uses disk space.
You can uninstall them later.
Celso - no suspicions, that's why I'm bisecting to find out. There are still more than 40 patches in the next bisection which could have caused it.
Nathanial - in general you don't need the headers, BUT - if you've installed any drivers which build automatically using dkms (such as nvidia proprietary drivers), you need the headers. It's safest to install them, it "only" uses disk space.
You can uninstall them later.
Celso - no suspicions, that's why I'm bisecting to find out. There are still more than 40 patches in the next bisection which could have caused it.
I'm making new kernels now