- Use menu.c32 for isolinux to display a text menu if no
  graphics theme is available