Since we check for the presence of a theme before enabling it in
the grub config, it is enough to issue a warning.