source ($root)/EFI/BOOT/menu/grub.cfg