What do highlighted packages mean in dnf ? Installed kernels aren't in grub menu ?