enable grub themes for the HD install, if the configured one is still installed.
NOT RELEASED YET