kernel compilation and GRUB