[droithomme]

I've deleted kernel extensions to deal with related issues before. They often get reinstalled after updates though, so it can be quite a hassle.