On 01/29/2015 01:55 PM, Stephen Morris wrote: > I had to delete a dozen of these directories this morning manually, why > are these not removed when the associated kernels are removed? Were the kernel modules in those directories built locally by dkms rather than owned by rpm packages? That'd do it.