Re: newer kernels not shown in grub2 menu