modified:   scripts/gen.grub.cfg.sh