theme/* usr/share/grub/themes/eydos/
grub.d/90-eydos.cfg etc/default/grub.d/
tools/grub-theme-eydos-patch usr/lib/grub-theme-eydos/
