../src/boot/grub2/ostree-grub-generator