Basic GRUB2 config file that loads the kernel, but not fully