put grub.cfg into src, we might want to move this