renamed:    boot/grub/grub.cfg.dev -> boot/grub.dev.cfg
	renamed:    boot/grub/grub.cfg -> boot/grub.entries.cfg
	new file:   boot/grub.head.cfg
	new file:   boot/grub.tail.cfg
	modified:   boot/grub/.gitignore
	modified:   boot/grub/grub.cfg
	modified:   scripts/pull.isos.list.sh