per trovare tale directory si può anche utilizzare il comando find interno a GRUB.