Optional directory containing GRUB platform files and modinfo.sh. This is normally detected automatically from the platform target, but can be set when the distribution keeps GRUB modules in a non-standard location.