On Thu, 12 Oct 2017, Mauricio Tavares wrote: > Stupid question: can't you do > > rpm -qa | grep ^kernel > > and then > > rpm -e <kernel file> With 100Mbyte /boot on a non-EFI system, I wouldn't have enough room for two kernels, so updates would be tricky. jh