dist-kernel@gentoo.org Distribution Kernel Project Re-generate grub.cfg on each kernel installation