(In reply to Tony Mechelynck from comment #1) > On rereading, I notice that the conflict message does not mention > kernel-desktop, which is my default kernel (and the currently running one). Hm, where did you get kernel-desktop package? It's been dead in the official repos long time ago (and keeping it makes little sense).