grub.cfg: do not export the theme unless setting it